Skip to content

Bump lean-toolchain on nightly-testing #471

Bump lean-toolchain on nightly-testing

Bump lean-toolchain on nightly-testing #471

Triggered via schedule February 8, 2025 09:01
Status Skipped
Total duration 1s
Artifacts
update-toolchain
0s
update-toolchain
Fit to window
Zoom out
Zoom in