Skip to content
continuous integration

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12481 #7043

Sign in to view logs

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12481

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12481 #7043

ci  /  Lint style

ci / Lint style
succeeded Feb 25, 2026 in 1m 55s
⚡