Skip to content
continuous integration

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

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… #89922

Check all files imported

Check all files imported
succeeded May 8, 2024 in 11s