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

fix: allow projections in E-matching patterns (#6534) CI #26180: Commit fb506b9 pushed by github-merge-queue bot
January 5, 2025 16:42 20m 6s master
master
January 5, 2025 16:42 20m 6s
CI CI #26179: Merge group checks requested
January 5, 2025 16:21 20m 48s
January 5, 2025 16:21 20m 48s
fix: allow projections in E-matching patterns CI #26178: Pull request #6534 opened by leodemoura
January 5, 2025 16:05 14m 57s grind_pattern_fix
grind_pattern_fix
January 5, 2025 16:05 14m 57s
CI CI #26177: Scheduled
January 5, 2025 07:03 1h 33m 30s master
master
January 5, 2025 07:03 1h 33m 30s
feat: add term offset support to the grind E-matching modulo (#6533) CI #26176: Commit dc5c809 pushed by github-merge-queue bot
January 5, 2025 02:41 25m 7s master
master
January 5, 2025 02:41 25m 7s
CI CI #26175: Merge group checks requested
January 5, 2025 02:20 20m 22s
January 5, 2025 02:20 20m 22s
feat: add term offset support to the grind E-matching modulo CI #26174: Pull request #6533 synchronize by leodemoura
January 5, 2025 02:06 14m 10s grind_offset_2
grind_offset_2
January 5, 2025 02:06 14m 10s
feat: add term offset support to the grind E-matching modulo CI #26173: Pull request #6533 opened by leodemoura
January 5, 2025 01:44 15m 23s grind_offset_2
grind_offset_2
January 5, 2025 01:44 15m 23s
chore: fix signature of perm_insertIdx (#6532) CI #26172: Commit 9dcbc33 pushed by github-merge-queue bot
January 5, 2025 00:05 20m 42s master
master
January 5, 2025 00:05 20m 42s
CI CI #26171: Merge group checks requested
January 4, 2025 23:43 21m 9s
January 4, 2025 23:43 21m 9s
chore: fix signature of perm_insertIdx CI #26170: Pull request #6532 opened by kim-em
January 4, 2025 23:28 14m 45s fix_perm_insertIdx
fix_perm_insertIdx
January 4, 2025 23:28 14m 45s
fix: let_fun support in grind (#6531) CI #26169: Commit d22233f pushed by github-merge-queue bot
January 4, 2025 22:43 24m 3s master
master
January 4, 2025 22:43 24m 3s
CI CI #26168: Merge group checks requested
January 4, 2025 22:23 19m 30s
January 4, 2025 22:23 19m 30s
fix: let_fun support in grind CI #26167: Pull request #6531 opened by leodemoura
January 4, 2025 22:07 15m 25s grind_let_fun
grind_let_fun
January 4, 2025 22:07 15m 25s
fix: nondeterministic failure in grind (#6530) CI #26166: Commit a5b1ed9 pushed by github-merge-queue bot
January 4, 2025 22:01 20m 20s master
master
January 4, 2025 22:01 20m 20s
CI CI #26165: Merge group checks requested
January 4, 2025 21:40 20m 48s
January 4, 2025 21:40 20m 48s
fix: nondeterministic failure in grind CI #26164: Pull request #6530 opened by leodemoura
January 4, 2025 21:25 14m 51s grind_nondet
grind_nondet
January 4, 2025 21:25 14m 51s
feat: add support for let-declarations to grind (#6529) CI #26163: Commit ad2c16d pushed by github-merge-queue bot
January 4, 2025 19:46 20m 33s master
master
January 4, 2025 19:46 20m 33s
CI CI #26162: Merge group checks requested
January 4, 2025 19:25 21m 23s
January 4, 2025 19:25 21m 23s
feat: add async timer primitives based on libuv CI #26161: Pull request #6219 synchronize by hargoniX
January 4, 2025 19:15 1h 8m 41s algebraic-dev:libuv
algebraic-dev:libuv
January 4, 2025 19:15 1h 8m 41s
feat: add support for let-declarations to grind CI #26160: Pull request #6529 opened by leodemoura
January 4, 2025 19:10 14m 25s grind_let
grind_let
January 4, 2025 19:10 14m 25s
fix: missing propagation in grind (#6528) CI #26159: Commit 37127ea pushed by github-merge-queue bot
January 4, 2025 19:06 20m 24s master
master
January 4, 2025 19:06 20m 24s
CI CI #26158: Merge group checks requested
January 4, 2025 18:46 20m 7s
January 4, 2025 18:46 20m 7s
fix: missing propagation in grind CI #26157: Pull request #6528 opened by leodemoura
January 4, 2025 16:50 15m 24s grind_issues2
grind_issues2
January 4, 2025 16:50 15m 24s
doc: fix broken code blocks in RELEASES.md (#6527) CI #26156: Commit 31435e9 pushed by github-merge-queue bot
January 4, 2025 08:32 20m 14s master
master
January 4, 2025 08:32 20m 14s