Skip to content
continuous integration

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

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 #7048

ci  /  Upload to cache

ci / Upload to cache
succeeded Feb 25, 2026 in 56s
⚡