Skip to content

Update lean-toolchain for https://github.com/leanprover/lean4/pull/13249 #18261

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

Update lean-toolchain for https://github.com/leanprover/lean4/pull/13249 #18261

Annotations

1 warning

Build

succeeded Apr 2, 2026 in 2m 4s