Skip to content
continuous integration

Update lean-toolchain for testing https://github.com/leanprover/lean4… #7237

Sign in to view logs

Update lean-toolchain for testing https://github.com/leanprover/lean4…

Update lean-toolchain for testing https://github.com/leanprover/lean4… #7237

ci  /  Upload to cache

ci / Upload to cache
succeeded Mar 9, 2026 in 55s
⚡