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,809 workflow run results
10,809 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: update toolchain on lake update Check PR title for commit convention #10817: Pull request #5684 synchronize by tydeu
October 28, 2024 23:02 1m 25s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 28, 2024 23:02 1m 25s
Check PR title for commit convention Check PR title for commit convention #10816: Merge group checks requested
October 28, 2024 22:51 1m 24s
October 28, 2024 22:51 1m 24s
feat: accurate binder names in signatures (like in output of #check) Check PR title for commit convention #10815: Pull request #5827 synchronize by kmill
October 28, 2024 22:39 1m 30s kmill:fix_5810
kmill:fix_5810
October 28, 2024 22:39 1m 30s
Check PR title for commit convention Check PR title for commit convention #10814: Merge group checks requested
October 28, 2024 21:39 1m 27s
October 28, 2024 21:39 1m 27s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #10813: Pull request #5864 synchronize by Kha
October 28, 2024 21:31 7s Kha:async-proofs
Kha:async-proofs
October 28, 2024 21:31 7s
Check PR title for commit convention Check PR title for commit convention #10812: Merge group checks requested
October 28, 2024 21:27 21s
October 28, 2024 21:27 21s
fix: let simp arguments elaborate with error recovery Check PR title for commit convention #10811: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 1m 19s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 1m 19s
Check PR title for commit convention Check PR title for commit convention #10810: Merge group checks requested
October 28, 2024 20:39 12s
October 28, 2024 20:39 12s
feat: improved calc error messages Check PR title for commit convention #10809: Pull request #5719 edited by kmill
October 28, 2024 20:23 1m 13s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:23 1m 13s
feat: improved calc error messages Check PR title for commit convention #10808: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 1m 8s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 1m 8s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #10807: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 1m 35s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 1m 35s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #10806: Pull request #5864 synchronize by Kha
October 28, 2024 18:52 1m 27s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:52 1m 27s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #10805: Pull request #5864 synchronize by Kha
October 28, 2024 18:13 50s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:13 50s
feat: improved calc error messages Check PR title for commit convention #10804: Pull request #5719 edited by kmill
October 28, 2024 18:12 9s kmill:fix_4318
kmill:fix_4318
October 28, 2024 18:12 9s
feat: improved calc error messages Check PR title for commit convention #10803: Pull request #5719 synchronize by kmill
October 28, 2024 18:07 1m 34s kmill:fix_4318
kmill:fix_4318
October 28, 2024 18:07 1m 34s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #10802: Pull request #5864 synchronize by Kha
October 28, 2024 17:04 55s Kha:async-proofs
Kha:async-proofs
October 28, 2024 17:04 55s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #10801: Pull request #5864 synchronize by Kha
October 28, 2024 17:04 1m 21s Kha:async-proofs
Kha:async-proofs
October 28, 2024 17:04 1m 21s
fix: let simp arguments elaborate with error recovery Check PR title for commit convention #10800: Pull request #5863 edited by kmill
October 28, 2024 17:03 7s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 17:03 7s
fix: let simp arguments elaborate with error recovery Check PR title for commit convention #10799: Pull request #5863 edited by kmill
October 28, 2024 17:02 6s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 17:02 6s
feat: elaborate theorem bodies in parallel Check PR title for commit convention #10798: Pull request #5864 edited by Kha
October 28, 2024 17:02 7s Kha:async-proofs
Kha:async-proofs
October 28, 2024 17:02 7s
fix: let simp arguments elaborate with error recovery Check PR title for commit convention #10797: Pull request #5863 edited by kmill
October 28, 2024 17:01 6s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 17:01 6s
fix: let simp arguments elaborate with error recovery Check PR title for commit convention #10796: Pull request #5863 synchronize by kmill
October 28, 2024 16:59 10s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 16:59 10s
feat: attribute [simp ←] Check PR title for commit convention #10795: Pull request #5870 synchronize by nomeata
October 28, 2024 16:58 53s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:58 53s
fix: let simp arguments elaborate with error recovery Check PR title for commit convention #10794: Pull request #5863 synchronize by kmill
October 28, 2024 16:58 1m 23s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 16:58 1m 23s
feat: attribute [simp ←] Check PR title for commit convention #10793: Pull request #5870 synchronize by nomeata
October 28, 2024 16:38 24s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:38 24s