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: update toolchain on lake update Check PR title for commit convention #10340: Pull request #5684 synchronize by tydeu
October 17, 2024 20:31 13s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 17, 2024 20:31 13s
feat: add Nat.log2_two_pow Check PR title for commit convention #10339: Pull request #5756 opened by spinylobster
October 17, 2024 18:48 20s spinylobster:nat-log2-of-pow2
spinylobster:nat-log2-of-pow2
October 17, 2024 18:48 20s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10338: Pull request #5721 synchronize by luisacicolini
October 17, 2024 18:22 17s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 17, 2024 18:22 17s
feat: update toolchain on lake update Check PR title for commit convention #10337: Pull request #5684 synchronize by tydeu
October 17, 2024 17:15 12s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 17, 2024 17:15 12s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10336: Pull request #5721 synchronize by luisacicolini
October 17, 2024 15:33 16s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 17, 2024 15:33 16s
feat: compile against Windows SDK headers under Windows Check PR title for commit convention #10335: Pull request #5753 synchronize by TwoFX
October 17, 2024 15:21 11s winsdk
winsdk
October 17, 2024 15:21 11s
Check PR title for commit convention Check PR title for commit convention #10334: Merge group checks requested
October 17, 2024 14:46 15s
October 17, 2024 14:46 15s
feat: compile against Windows SDK headers under Windows Check PR title for commit convention #10333: Pull request #5753 synchronize by TwoFX
October 17, 2024 14:11 38s winsdk
winsdk
October 17, 2024 14:11 38s
feat: compile against Windows SDK headers under Windows Check PR title for commit convention #10332: Pull request #5753 synchronize by TwoFX
October 17, 2024 13:28 19s winsdk
winsdk
October 17, 2024 13:28 19s
feat: compile against Windows SDK headers under Windows Check PR title for commit convention #10331: Pull request #5753 synchronize by TwoFX
October 17, 2024 12:31 14s winsdk
winsdk
October 17, 2024 12:31 14s
Check PR title for commit convention Check PR title for commit convention #10330: Merge group checks requested
October 17, 2024 12:23 11s
October 17, 2024 12:23 11s
feat: compile against Windows SDK headers under Windows Check PR title for commit convention #10329: Pull request #5753 opened by TwoFX
October 17, 2024 12:10 9s winsdk
winsdk
October 17, 2024 12:10 9s
Check PR title for commit convention Check PR title for commit convention #10328: Merge group checks requested
October 17, 2024 12:10 13s
October 17, 2024 12:10 13s
fix: do not force snapshot tree too early Check PR title for commit convention #10327: Pull request #5752 opened by Kha
October 17, 2024 12:05 16s Kha:push-oqtvnmouzxxp
Kha:push-oqtvnmouzxxp
October 17, 2024 12:05 16s
fix: some goal state issues Check PR title for commit convention #10326: Pull request #5677 synchronize by mhuisi
October 17, 2024 11:55 11s mhuisi:mhuisi/state-after-case-tactic
mhuisi:mhuisi/state-after-case-tactic
October 17, 2024 11:55 11s
fix: some goal state issues Check PR title for commit convention #10325: Pull request #5677 synchronize by mhuisi
October 17, 2024 11:17 15s mhuisi:mhuisi/state-after-case-tactic
mhuisi:mhuisi/state-after-case-tactic
October 17, 2024 11:17 15s
Check PR title for commit convention Check PR title for commit convention #10324: Merge group checks requested
October 17, 2024 09:55 10s
October 17, 2024 09:55 10s
Check PR title for commit convention Check PR title for commit convention #10323: Merge group checks requested
October 17, 2024 09:39 12s
October 17, 2024 09:39 12s
Check PR title for commit convention Check PR title for commit convention #10322: Merge group checks requested
October 17, 2024 09:36 11s
October 17, 2024 09:36 11s
perf: do not lint unused variables defined in tactics by default Check PR title for commit convention #10321: Pull request #5338 synchronize by Kha
October 17, 2024 09:28 12s Kha:unused-in-tactics
Kha:unused-in-tactics
October 17, 2024 09:28 12s
doc: remove docstring from implicitDefEqProofs Check PR title for commit convention #10320: Pull request #5751 edited by nomeata
October 17, 2024 09:23 13s joachim/implicitDefEqProofs-docstring
joachim/implicitDefEqProofs-docstring
October 17, 2024 09:23 13s
doc: remove docstring from implicitDefEqProofs Check PR title for commit convention #10319: Pull request #5751 edited by nomeata
October 17, 2024 09:23 10s joachim/implicitDefEqProofs-docstring
joachim/implicitDefEqProofs-docstring
October 17, 2024 09:23 10s
doc: remove docstring from implicitDefEqProofs Check PR title for commit convention #10318: Pull request #5751 opened by nomeata
October 17, 2024 09:22 12s joachim/implicitDefEqProofs-docstring
joachim/implicitDefEqProofs-docstring
October 17, 2024 09:22 12s
joachim/implicitDefEqProofs docstring Check PR title for commit convention #10317: Pull request #5750 opened by nomeata
October 17, 2024 09:21 22s joachim/implicitDefEqProofs-docstring
joachim/implicitDefEqProofs-docstring
October 17, 2024 09:21 22s
Check PR title for commit convention Check PR title for commit convention #10316: Merge group checks requested
October 17, 2024 06:31 1m 28s
October 17, 2024 06:31 1m 28s