Skip to content
Check toolchain file

Check toolchain file #1504

Sign in to view logs

Check toolchain file

Check toolchain file #1504

Check for "nightly" in lean-toolchain

Check for "nightly" in lean-toolchain
succeeded Aug 10, 2026 in 6s