Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: rewrite the Verso docstring parser to produce accurate syntax CI #63331: Pull request #15064 synchronize by david-christiansen
In progress david-christiansen:verso-docstring-parser-rewrite
david-christiansen:verso-docstring-parser-rewrite
In progress
fix: do not evaluate Nat left shifts the runtime cannot perform CI #63330: Pull request #15194 opened by gersh
13m 30s gersh:fix-nat-shiftleft-panic
gersh:fix-nat-shiftleft-panic
13m 30s
fix: cancellation in ContextAsync and wakeups in Notify, Channel and Broadcast CI #63329: Pull request #15192 opened by algebraic-dev
7m 0s sofia/std-async-cancellation-fixes
sofia/std-async-cancellation-fixes
7m 0s
feat: add a public extended Euclidean algorithm for natural numbers CI #63328: Pull request #15160 synchronize by kim-em
14m 55s kim-em:feat/nat-extended-gcd
kim-em:feat/nat-extended-gcd
14m 55s
fix: make timers and signals safe against re-entrant continuations and lost signals CI #63327: Pull request #15191 opened by algebraic-dev
16m 31s sofia/libuv-timer-signal-fixes
sofia/libuv-timer-signal-fixes
16m 31s
fix: use v in Lean.toolchain for release versions CI #63326: Pull request #15150 synchronize by thorimur
17m 33s thorimur:toolchain-v
thorimur:toolchain-v
17m 33s
fix: resolve races and type errors, and prevent TCP/UDP RSS retention CI #63325: Pull request #15174 synchronize by algebraic-dev
8m 36s sofia/libuv-socket-fixes
sofia/libuv-socket-fixes
8m 36s
fix: prevent Loop.configure leaks and System.random size limits, Loop.alive and system error handling CI #63324: Pull request #15175 synchronize by algebraic-dev
19m 3s sofia/libuv-loop-system-fixes
sofia/libuv-loop-system-fixes
19m 3s
fix: resolve races and type errors, and prevent TCP/UDP RSS retention CI #63323: Pull request #15174 synchronize by algebraic-dev
7m 47s sofia/libuv-socket-fixes
sofia/libuv-socket-fixes
7m 47s
fix: better defeq error messages CI #63322: Pull request #14537 synchronize by kim-em
20m 41s datokrat:defeq-errors
datokrat:defeq-errors
20m 41s
fix: prevent Loop.configure leaks and System.random size limits, Loop.alive and system error handling CI #63321: Pull request #15175 synchronize by algebraic-dev
6m 45s sofia/libuv-loop-system-fixes
sofia/libuv-loop-system-fixes
6m 45s
fix: preserve restored Lake archives for output tracking CI #63320: Pull request #15189 synchronize by kim-em
8m 41s lake-reuse-cached-archives
lake-reuse-cached-archives
8m 41s
refactor: move grind's arithmetic instance helpers into Sym.Arith… CI #63319: Commit 566b215 pushed by github-merge-queue Bot
42m 10s master
master
42m 10s
fix: preserve restored Lake archives for output tracking CI #63318: Pull request #15189 opened by kim-em
6m 49s lake-reuse-cached-archives
lake-reuse-cached-archives
6m 49s
CI CI #63317: Merge group checks requested
13m 43s
13m 43s
refactor: move grind's arithmetic instance helpers into Sym.Arith CI #63316: Pull request #15188 synchronize by leodemoura
17m 33s sym_arith_return
sym_arith_return
17m 33s
feat: HTML-like syntax CI #63315: Pull request #15002 synchronize by Vtec234
27m 15s widget-html-type
widget-html-type
27m 15s
feat: add Html type CI #63314: Pull request #14935 synchronize by Vtec234
22m 42s html-type
html-type
22m 42s
refactor: move grind's arithmetic instance helpers into Sym.Arith CI #63313: Pull request #15188 opened by leodemoura
10m 54s sym_arith_return
sym_arith_return
10m 54s
chore: update release scripts CI #63312: Pull request #15187 opened by Garmelon
6m 31s joscha/release-scripts-2026-09-14
joscha/release-scripts-2026-09-14
6m 31s
fix: resolve races and type errors, and prevent TCP/UDP RSS retention CI #63311: Pull request #15174 synchronize by algebraic-dev
6m 41s sofia/libuv-socket-fixes
sofia/libuv-socket-fixes
6m 41s
fix: use v in Lean.toolchain for release versions CI #63310: Pull request #15150 synchronize by thorimur
18m 32s thorimur:toolchain-v
thorimur:toolchain-v
18m 32s
feat: HTML-like syntax CI #63309: Pull request #15002 synchronize by Vtec234
6m 43s widget-html-type
widget-html-type
6m 43s
chore: add downstream labels with app token (#15185) CI #63308: Commit 41aa79c pushed by github-merge-queue Bot
36m 12s master
master
36m 12s
CI CI #63307: Merge group checks requested
35m 27s
35m 27s