Skip to content

Update lean-toolchain for https://github.com/leanprover/lean4/pull/13254 #18263

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

Update lean-toolchain for https://github.com/leanprover/lean4/pull/13254 #18263

Annotations

1 warning

Build

succeeded Apr 3, 2026 in 2m 16s