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

chore: incorporate notes from release_drafts CI #26130: Commit cf3c631 pushed by kim-em
January 4, 2025 01:17 2m 10s v4.16.0-rc1
v4.16.0-rc1
January 4, 2025 01:17 2m 10s
chore: release notes for v4.15.0 CI #26129: Commit 1165156 pushed by kim-em
January 4, 2025 01:17 1h 24m 48s v4.15.0
v4.15.0
January 4, 2025 01:17 1h 24m 48s
feat: add script for generating release notes CI #26128: Pull request #6519 synchronize by kim-em
January 4, 2025 01:16 14m 53s release_note_script
release_note_script
January 4, 2025 01:16 14m 53s
chore: cherry-pick release notes from releases/v4.15.0 and releases/v4.16.0 CI #26127: Pull request #6520 synchronize by kim-em
January 4, 2025 01:09 15m 33s release_notes_15_16
release_notes_15_16
January 4, 2025 01:09 15m 33s
chore: cherry-pick release notes from releases/v4.15.0 and releases/v4.16.0 CI #26126: Pull request #6520 opened by kim-em
January 4, 2025 01:04 5m 54s release_notes_15_16
release_notes_15_16
January 4, 2025 01:04 5m 54s
feat: add script for generating release notes CI #26125: Pull request #6519 opened by kim-em
January 4, 2025 01:00 16m 6s release_note_script
release_note_script
January 4, 2025 01:00 16m 6s
feat: add async timer primitives based on libuv CI #26124: Pull request #6219 synchronize by hargoniX
January 3, 2025 21:11 1h 7m 25s algebraic-dev:libuv
algebraic-dev:libuv
January 3, 2025 21:11 1h 7m 25s
feat: add async timer primitives based on libuv CI #26123: Pull request #6219 synchronize by algebraic-dev
January 3, 2025 21:05 6m 55s algebraic-dev:libuv
algebraic-dev:libuv
January 3, 2025 21:05 6m 55s
fix: cond reflection bug in bv_decide (#6517) CI #26122: Commit 58d178e pushed by github-merge-queue bot
January 3, 2025 19:56 19m 26s master
master
January 3, 2025 19:56 19m 26s
CI CI #26121: Merge group checks requested
January 3, 2025 19:36 19m 52s
January 3, 2025 19:36 19m 52s
feat: add async timer primitives based on libuv CI #26120: Pull request #6219 synchronize by hargoniX
January 3, 2025 19:21 1h 10m 8s algebraic-dev:libuv
algebraic-dev:libuv
January 3, 2025 19:21 1h 10m 8s
feat: add async timer primitives based on libuv CI #26119: Pull request #6219 synchronize by hargoniX
January 3, 2025 19:08 12m 56s algebraic-dev:libuv
algebraic-dev:libuv
January 3, 2025 19:08 12m 56s
fix: cond reflection bug in bv_decide CI #26118: Pull request #6517 opened by hargoniX
January 3, 2025 18:48 19m 6s hbv/fix-cond-reflection
hbv/fix-cond-reflection
January 3, 2025 18:48 19m 6s
feat: bv_decide short-circuit a * x = b * x CI #26117: Pull request #6496 synchronize by tobiasgrosser
January 3, 2025 17:39 15m 10s opencompl:bv_short_circuit
opencompl:bv_short_circuit
January 3, 2025 17:39 15m 10s
feat: partial_fixpoint: partial functions with equations CI #26116: Pull request #6355 synchronize by nomeata
January 3, 2025 17:26 16m 22s joachim/tailrec
joachim/tailrec
January 3, 2025 17:26 16m 22s
feat: partial_fixpoint: partial functions with equations CI #26115: Pull request #6355 synchronize by nomeata
January 3, 2025 17:25 1m 5s joachim/tailrec
joachim/tailrec
January 3, 2025 17:25 1m 5s
feat: partial_fixpoint: partial functions with equations CI #26114: Pull request #6355 synchronize by nomeata
January 3, 2025 17:18 7m 50s joachim/tailrec
joachim/tailrec
January 3, 2025 17:18 7m 50s
feat: improve cases tactic used in grind (#6516) CI #26113: Commit 7b496bf pushed by github-merge-queue bot
January 3, 2025 16:16 22m 25s master
master
January 3, 2025 16:16 22m 25s
feat: partial_fixpoint: partial functions with equations CI #26112: Pull request #6355 synchronize by nomeata
January 3, 2025 16:09 16m 44s joachim/tailrec
joachim/tailrec
January 3, 2025 16:09 16m 44s
CI CI #26111: Merge group checks requested
January 3, 2025 15:55 21m 15s
January 3, 2025 15:55 21m 15s
feat: improve cases tactic used in grind CI #26110: Pull request #6516 synchronize by leodemoura
January 3, 2025 14:59 15m 14s grind_cases_new
grind_cases_new
January 3, 2025 14:59 15m 14s
feat: improve cases tactic used in grind CI #26109: Pull request #6516 opened by leodemoura
January 3, 2025 14:39 16m 2s grind_cases_new
grind_cases_new
January 3, 2025 14:39 16m 2s
feat: bdiv and bmod lemmas (#6494) CI #26108: Commit 10b2f6b pushed by github-merge-queue bot
January 3, 2025 09:59 20m 23s master
master
January 3, 2025 09:59 20m 23s
feat: more UInt bitwise theorems (#6188) CI #26107: Commit ffac974 pushed by kim-em
January 3, 2025 09:46 2m 40s v4.15.0
v4.15.0
January 3, 2025 09:46 2m 40s
CI CI #26106: Merge group checks requested
January 3, 2025 09:37 21m 21s
January 3, 2025 09:37 21m 21s