Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: asynchronous timer API CI #26105: Pull request #6306 synchronize by hargoniX
January 3, 2025 09:26 14m 9s hbv/async-sleep
hbv/async-sleep
January 3, 2025 09:26 14m 9s
feat: asynchronous timer API CI #26104: Pull request #6306 synchronize by hargoniX
January 3, 2025 09:06 14m 21s hbv/async-sleep
hbv/async-sleep
January 3, 2025 09:06 14m 21s
feat: add async timer primitives based on libuv CI #26103: Pull request #6219 synchronize by hargoniX
January 3, 2025 08:56 1h 6m 53s algebraic-dev:libuv
algebraic-dev:libuv
January 3, 2025 08:56 1h 6m 53s
CI CI #26102: Scheduled
January 3, 2025 07:04 1h 33m 27s master
master
January 3, 2025 07:04 1h 33m 27s
perf: avoid unnecessary assert/intro pairs in grind (#6514) CI #26101: Commit 1907865 pushed by github-merge-queue bot
January 3, 2025 02:42 22m 17s master
master
January 3, 2025 02:42 22m 17s
CI CI #26100: Merge group checks requested
January 3, 2025 02:16 25m 42s
January 3, 2025 02:16 25m 42s
perf: avoid unnecessary assert/intro pairs in grind CI #26099: Pull request #6514 opened by leodemoura
January 3, 2025 02:01 14m 42s grind_intro_opt
grind_intro_opt
January 3, 2025 02:01 14m 42s
feat: ite and dite support in grind (#6513) CI #26098: Commit df9ed20 pushed by github-merge-queue bot
January 3, 2025 01:31 22m 54s master
master
January 3, 2025 01:31 22m 54s
CI CI #26097: Merge group checks requested
January 3, 2025 01:06 24m 59s
January 3, 2025 01:06 24m 59s
feat: ite and dite support in grind CI #26096: Pull request #6513 opened by leodemoura
January 3, 2025 00:50 15m 36s grind_ite
grind_ite
January 3, 2025 00:50 15m 36s
feat: add user-defined fallback procedure for the grind tactic (#6512) CI #26095: Commit 3e2f1fa pushed by github-merge-queue bot
January 3, 2025 00:18 22m 3s master
master
January 3, 2025 00:18 22m 3s
CI CI #26094: Merge group checks requested
January 2, 2025 23:57 21m 3s
January 2, 2025 23:57 21m 3s
feat: add user-defined fallback procedure for the grind tactic CI #26093: Pull request #6512 opened by leodemoura
January 2, 2025 23:42 14m 20s grind_fallbacks
grind_fallbacks
January 2, 2025 23:42 14m 20s
chore: add regression test for issue 5925 CI #26092: Pull request #6511 opened by kmill
January 2, 2025 23:21 14m 38s kmill:test_5925
kmill:test_5925
January 2, 2025 23:21 14m 38s
feat: add Bitvec reverse definition, getLsbD_reverse, getMsbD_reverse, reverse_append, reverse_replicate and Nat.mod_sub_eq_sub_mod CI #26091: Pull request #6476 synchronize by luisacicolini
January 2, 2025 22:38 15m 38s opencompl:bitvec-reverse
opencompl:bitvec-reverse
January 2, 2025 22:38 15m 38s
feat: add Bitvec reverse definition, getLsbD_reverse, getMsbD_reverse, reverse_append, reverse_replicate and Nat.mod_sub_eq_sub_mod CI #26090: Pull request #6476 synchronize by luisacicolini
January 2, 2025 22:31 6m 24s opencompl:bitvec-reverse
opencompl:bitvec-reverse
January 2, 2025 22:31 6m 24s
feat: custom congruence rule for equality in grind (#6510) CI #26089: Commit 9d62227 pushed by github-merge-queue bot
January 2, 2025 22:30 21m 46s master
master
January 2, 2025 22:30 21m 46s
feat: add Bitvec reverse definition, getLsbD_reverse, getMsbD_reverse, reverse_append, reverse_replicate and Nat.mod_sub_eq_sub_mod CI #26088: Pull request #6476 synchronize by luisacicolini
January 2, 2025 22:13 6m 11s opencompl:bitvec-reverse
opencompl:bitvec-reverse
January 2, 2025 22:13 6m 11s
feat: add Bitvec reverse definition, getLsbD_reverse, getMsbD_reverse, reverse_append, reverse_replicate and Nat.mod_sub_eq_sub_mod CI #26087: Pull request #6476 synchronize by luisacicolini
January 2, 2025 22:10 2m 45s opencompl:bitvec-reverse
opencompl:bitvec-reverse
January 2, 2025 22:10 2m 45s
feat: add Bitvec reverse definition, getLsbD_reverse, getMsbD_reverse, reverse_append, reverse_replicate and Nat.mod_sub_eq_sub_mod CI #26086: Pull request #6476 synchronize by luisacicolini
January 2, 2025 22:10 44s opencompl:bitvec-reverse
opencompl:bitvec-reverse
January 2, 2025 22:10 44s
CI CI #26085: Merge group checks requested
January 2, 2025 22:08 21m 26s
January 2, 2025 22:08 21m 26s
feat: custom congruence rule for equality in grind CI #26084: Pull request #6510 synchronize by leodemoura
January 2, 2025 21:52 15m 33s grind_diseq
grind_diseq
January 2, 2025 21:52 15m 33s
feat: custom congruence rule for equality in grind CI #26083: Pull request #6510 opened by leodemoura
January 2, 2025 21:50 2m 42s grind_diseq
grind_diseq
January 2, 2025 21:50 2m 42s
fix: adjustments to the datetime library CI #26082: Pull request #6431 synchronize by algebraic-dev
January 2, 2025 21:09 14m 38s algebraic-dev:datetime-fix
algebraic-dev:datetime-fix
January 2, 2025 21:09 14m 38s
fix: adjustments to the datetime library CI #26081: Pull request #6431 synchronize by algebraic-dev
January 2, 2025 20:44 15m 15s algebraic-dev:datetime-fix
algebraic-dev:datetime-fix
January 2, 2025 20:44 15m 15s