Skip to content

Bump lean-toolchain on nightly-testing #323

Bump lean-toolchain on nightly-testing

Bump lean-toolchain on nightly-testing #323

Triggered via schedule September 12, 2024 09:05
Status Success
Total duration 16s
Artifacts
update-toolchain
7s
update-toolchain
Fit to window
Zoom out
Zoom in