Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
16,754 workflow runs
16,754 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: support for csimp theorems in toLCNF (#6757) CI #27194: Commit cc260dd pushed by github-merge-queue bot
January 25, 2025 21:32 7m 12s master
master
January 25, 2025 21:32 7m 12s
CI CI #27193: Merge group checks requested
January 25, 2025 21:15 24m 0s
January 25, 2025 21:15 24m 0s
CI CI #27192: Merge group checks requested
January 25, 2025 21:07 24m 33s
January 25, 2025 21:07 24m 33s
fix: offset terms internalization CI #27191: Pull request #6777 opened by leodemoura
January 25, 2025 20:56 17m 50s grind_offset_bug
grind_offset_bug
January 25, 2025 20:56 17m 50s
fix: Grind.MatchCond in checkParents (#6776) CI #27190: Commit 9565334 pushed by github-merge-queue bot
January 25, 2025 20:18 24m 52s master
master
January 25, 2025 20:18 24m 52s
CI CI #27189: Merge group checks requested
January 25, 2025 19:53 24m 31s
January 25, 2025 19:53 24m 31s
fix: Grind.MatchCond in checkParents CI #27188: Pull request #6776 opened by leodemoura
January 25, 2025 19:33 19m 53s grind_match_cond_improvements
grind_match_cond_improvements
January 25, 2025 19:33 19m 53s
fix: suggest correct trace option name in partial_fixpoint error mess… CI #27187: Commit 2fa38e6 pushed by github-merge-queue bot
January 25, 2025 15:07 45m 39s master
master
January 25, 2025 15:07 45m 39s
fix: typo in partial_fixpoint docstring (#6775) CI #27186: Commit 056d1db pushed by github-merge-queue bot
January 25, 2025 15:05 2m 26s master
master
January 25, 2025 15:05 2m 26s
CI CI #27185: Merge group checks requested
January 25, 2025 14:42 24m 49s
January 25, 2025 14:42 24m 49s
CI CI #27184: Merge group checks requested
January 25, 2025 14:42 23m 22s
January 25, 2025 14:42 23m 22s
fix: typo in partial_fixpoint docstring CI #27183: Pull request #6775 opened by TwoFX
January 25, 2025 14:23 18m 9s partial-fixpoint-typo
partial-fixpoint-typo
January 25, 2025 14:23 18m 9s
fix: suggest correct trace option name in partial_fixpoint error message CI #27182: Pull request #6774 opened by TwoFX
January 25, 2025 14:16 17m 32s mono-error-message
mono-error-message
January 25, 2025 14:16 17m 32s
fix: fix builtin simproc Nat.reduceAnd (#6773) CI #27181: Commit e8bbba0 pushed by github-merge-queue bot
January 25, 2025 13:22 23m 38s master
master
January 25, 2025 13:22 23m 38s
CI CI #27180: Merge group checks requested
January 25, 2025 12:57 24m 7s
January 25, 2025 12:57 24m 7s
fix: fix builtin simproc Nat.reduceAnd CI #27179: Pull request #6773 opened by Rob23oba
January 25, 2025 12:39 18m 22s Rob23oba:nat-and-simproc
Rob23oba:nat-and-simproc
January 25, 2025 12:39 18m 22s
feat: zetaUnused option (implementation) CI #27178: Pull request #6755 synchronize by nomeata
January 25, 2025 10:47 15m 46s joachim/zeta-unused-impl
joachim/zeta-unused-impl
January 25, 2025 10:47 15m 46s
CI CI #27177: Scheduled
January 25, 2025 07:04 1h 49m 8s master
master
January 25, 2025 07:04 1h 49m 8s
feat: lake: lift FetchM into JobM (and vice versa) (#6771) CI #27176: Commit 58c7a4f pushed by github-merge-queue bot
January 25, 2025 04:23 23m 34s master
master
January 25, 2025 04:23 23m 34s
CI CI #27175: Merge group checks requested
January 25, 2025 04:00 23m 28s
January 25, 2025 04:00 23m 28s
feat: lake: lift FetchM into JobM (and vice versa) CI #27174: Pull request #6771 synchronize by tydeu
January 25, 2025 03:40 19m 19s tydeu:lake/fetch-in-job
tydeu:lake/fetch-in-job
January 25, 2025 03:40 19m 19s
refactor: lake: use Job for all builtin facets (#6418) CI #27173: Commit c8be581 pushed by github-merge-queue bot
January 25, 2025 03:22 23m 13s master
master
January 25, 2025 03:22 23m 13s
CI CI #27172: Merge group checks requested
January 25, 2025 02:53 28m 12s
January 25, 2025 02:53 28m 12s
feat: lake: lift FetchM into JobM (and vice versa) CI #27171: Pull request #6771 opened by tydeu
January 25, 2025 01:04 20m 19s tydeu:lake/fetch-in-job
tydeu:lake/fetch-in-job
January 25, 2025 01:04 20m 19s
feat: bitblasting support for BitVec.carry CI #27170: Pull request #6766 synchronize by alexkeizer
January 24, 2025 19:46 5m 9s opencompl:carry-blast
opencompl:carry-blast
January 24, 2025 19:46 5m 9s