Skip to content

Actions: leanprover/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
10,432 workflow run results
10,432 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: make MessageData.ofConstName be the default coercion from Name to MessageData Check PR title for commit convention #10440: Pull request #5779 opened by kmill
October 19, 2024 23:28 11s kmill:messagedata_name
kmill:messagedata_name
October 19, 2024 23:28 11s
feat: prove that intMin is indeed the smallest signed bitvector Check PR title for commit convention #10439: Pull request #5778 opened by alexkeizer
October 19, 2024 23:22 11s opencompl:toInt_intMin_le
opencompl:toInt_intMin_le
October 19, 2024 23:22 11s
feat: update toolchain on lake update Check PR title for commit convention #10438: Pull request #5684 synchronize by tydeu
October 19, 2024 22:27 10s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 19, 2024 22:27 10s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10437: Pull request #5721 synchronize by alexkeizer
October 19, 2024 22:11 14s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 19, 2024 22:11 14s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10436: Pull request #5721 synchronize by alexkeizer
October 19, 2024 22:09 14s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 19, 2024 22:09 14s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10435: Pull request #5721 synchronize by alexkeizer
October 19, 2024 21:31 9s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 19, 2024 21:31 9s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10434: Pull request #5721 synchronize by alexkeizer
October 19, 2024 21:28 8s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 19, 2024 21:28 8s
feat: labeled and unique sorries Check PR title for commit convention #10433: Pull request #5757 synchronize by kmill
October 19, 2024 21:14 10s kmill:unique_sorry
kmill:unique_sorry
October 19, 2024 21:14 10s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10432: Pull request #5721 synchronize by alexkeizer
October 19, 2024 21:12 15s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 19, 2024 21:12 15s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10431: Pull request #5721 synchronize by alexkeizer
October 19, 2024 21:06 11s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 19, 2024 21:06 11s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10430: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 18:20 9s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:20 9s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10429: Pull request #5772 synchronize by alexkeizer
October 19, 2024 18:15 13s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 18:15 13s
feat: update toolchain on lake update Check PR title for commit convention #10428: Pull request #5684 edited by tydeu
October 19, 2024 18:02 8s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 19, 2024 18:02 8s
feat: update toolchain on lake update Check PR title for commit convention #10427: Pull request #5684 synchronize by tydeu
October 19, 2024 17:40 13s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 19, 2024 17:40 13s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10426: Pull request #5772 edited by tobiasgrosser
October 19, 2024 15:48 9s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 15:48 9s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10425: Pull request #5772 edited by tobiasgrosser
October 19, 2024 14:29 11s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 14:29 11s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10424: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 14:29 10s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 14:29 10s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10423: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 14:28 11s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 14:28 11s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10422: Pull request #5772 edited by tobiasgrosser
October 19, 2024 13:49 11s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 13:49 11s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10421: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 13:48 11s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 13:48 11s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10420: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 13:47 12s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 13:47 12s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10419: Pull request #5772 synchronize by tobiasgrosser
October 19, 2024 13:36 14s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 13:36 14s
feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg Check PR title for commit convention #10418: Pull request #5772 opened by tobiasgrosser
October 19, 2024 13:33 10s opencompl:toInt_sub
opencompl:toInt_sub
October 19, 2024 13:33 10s
feat: resolve generalized field notation using all parents Check PR title for commit convention #10417: Pull request #5770 edited by kmill
October 19, 2024 08:33 9s kmill:structure_mro
kmill:structure_mro
October 19, 2024 08:33 9s
feat: resolve generalized field notation using all parents Check PR title for commit convention #10416: Pull request #5770 opened by kmill
October 19, 2024 08:30 11s kmill:structure_mro
kmill:structure_mro
October 19, 2024 08:30 11s