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
14,442 workflow runs
14,442 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: suggest correct trace option name in partial_fixpoint error message Check PR title for commit convention #14350: Pull request #6774 edited by TwoFX
January 25, 2025 14:17 12s mono-error-message
mono-error-message
January 25, 2025 14:17 12s
fix: suggest correct trace option name in partial_fixpoint error message Check PR title for commit convention #14349: Pull request #6774 edited by TwoFX
January 25, 2025 14:17 8s mono-error-message
mono-error-message
January 25, 2025 14:17 8s
fix: suggest correct trace option name in partial_fixpoint error message Check PR title for commit convention #14348: Pull request #6774 opened by TwoFX
January 25, 2025 14:16 13s mono-error-message
mono-error-message
January 25, 2025 14:16 13s
Check PR title for commit convention Check PR title for commit convention #14347: Merge group checks requested
January 25, 2025 12:57 10s
January 25, 2025 12:57 10s
fix: fix builtin simproc Nat.reduceAnd Check PR title for commit convention #14346: Pull request #6773 opened by Rob23oba
January 25, 2025 12:39 13s Rob23oba:nat-and-simproc
Rob23oba:nat-and-simproc
January 25, 2025 12:39 13s
feat: zetaUnused option (implementation) Check PR title for commit convention #14345: Pull request #6755 synchronize by nomeata
January 25, 2025 10:47 15s joachim/zeta-unused-impl
joachim/zeta-unused-impl
January 25, 2025 10:47 15s
Check PR title for commit convention Check PR title for commit convention #14344: Merge group checks requested
January 25, 2025 04:00 12s
January 25, 2025 04:00 12s
feat: lake: lift FetchM into JobM (and vice versa) Check PR title for commit convention #14343: Pull request #6771 synchronize by tydeu
January 25, 2025 03:40 9s tydeu:lake/fetch-in-job
tydeu:lake/fetch-in-job
January 25, 2025 03:40 9s
Check PR title for commit convention Check PR title for commit convention #14342: Merge group checks requested
January 25, 2025 02:53 10s
January 25, 2025 02:53 10s
feat: lake: lift FetchM into JobM (and vice versa) Check PR title for commit convention #14341: Pull request #6771 edited by tydeu
January 25, 2025 01:04 8s tydeu:lake/fetch-in-job
tydeu:lake/fetch-in-job
January 25, 2025 01:04 8s
feat: lake: lift FetchM into JobM (and vice versa) Check PR title for commit convention #14340: Pull request #6771 opened by tydeu
January 25, 2025 01:04 13s tydeu:lake/fetch-in-job
tydeu:lake/fetch-in-job
January 25, 2025 01:04 13s
feat: bitblasting support for BitVec.carry Check PR title for commit convention #14339: Pull request #6766 synchronize by alexkeizer
January 24, 2025 19:46 10s opencompl:carry-blast
opencompl:carry-blast
January 24, 2025 19:46 10s
Early TreeMap benchmarks Check PR title for commit convention #14338: Pull request #6756 synchronize by datokrat
January 24, 2025 19:46 10s paul/treemap1-bench
paul/treemap1-bench
January 24, 2025 19:46 10s
feat: bitblasting support for BitVec.carry Check PR title for commit convention #14337: Pull request #6766 synchronize by alexkeizer
January 24, 2025 19:44 11s opencompl:carry-blast
opencompl:carry-blast
January 24, 2025 19:44 11s
feat: asynchronous code generation Check PR title for commit convention #14336: Pull request #6770 opened by Kha
January 24, 2025 18:40 10s Kha:push-wxvvorszpxsw
Kha:push-wxvvorszpxsw
January 24, 2025 18:40 10s
feat: synchronized environment extension access Check PR title for commit convention #14335: Pull request #6765 synchronize by Kha
January 24, 2025 18:17 13s Kha:push-xvwyzsnrylyt
Kha:push-xvwyzsnrylyt
January 24, 2025 18:17 13s
feat: inlay hints for auto-implicits Check PR title for commit convention #14334: Pull request #6768 synchronize by mhuisi
January 24, 2025 17:46 12s mhuisi:mhuisi/inlay-hints
mhuisi:mhuisi/inlay-hints
January 24, 2025 17:46 12s
feat: inlay hints for auto-implicits Check PR title for commit convention #14333: Pull request #6768 edited by mhuisi
January 24, 2025 17:17 8s mhuisi:mhuisi/inlay-hints
mhuisi:mhuisi/inlay-hints
January 24, 2025 17:17 8s
feat: inlay hints for auto-implicits Check PR title for commit convention #14332: Pull request #6768 opened by mhuisi
January 24, 2025 17:16 13s mhuisi:mhuisi/inlay-hints
mhuisi:mhuisi/inlay-hints
January 24, 2025 17:16 13s
Check PR title for commit convention Check PR title for commit convention #14331: Merge group checks requested
January 24, 2025 17:12 11s
January 24, 2025 17:12 11s
feat: BitVec.shift x (n#w) -> shift x (n % 2^w) Check PR title for commit convention #14330: Pull request #6767 edited by bollu
January 24, 2025 16:52 12s opencompl:bv-shift-ofnat-normalize
opencompl:bv-shift-ofnat-normalize
January 24, 2025 16:52 12s
feat: BitVec.shift x (n#w) -> shift x (n % 2^w) Check PR title for commit convention #14329: Pull request #6767 opened by bollu
January 24, 2025 16:51 13s opencompl:bv-shift-ofnat-normalize
opencompl:bv-shift-ofnat-normalize
January 24, 2025 16:51 13s
feat: synchronized environment extension access Check PR title for commit convention #14328: Pull request #6765 synchronize by Kha
January 24, 2025 16:36 11s Kha:push-xvwyzsnrylyt
Kha:push-xvwyzsnrylyt
January 24, 2025 16:36 11s
feat: allow separate handlers for literals and interpolations in expandInterpolatedStr Check PR title for commit convention #14327: Pull request #6763 edited by eric-wieser
January 24, 2025 16:08 10s eric-wieser:patch-36
eric-wieser:patch-36
January 24, 2025 16:08 10s
feat: synchronized environment extension access Check PR title for commit convention #14326: Pull request #6765 synchronize by Kha
January 24, 2025 16:01 13s Kha:push-xvwyzsnrylyt
Kha:push-xvwyzsnrylyt
January 24, 2025 16:01 13s