Skip to content

Bump lean-toolchain on nightly-testing #94

Bump lean-toolchain on nightly-testing

Bump lean-toolchain on nightly-testing #94

Triggered via schedule December 10, 2024 09:24
Status Skipped
Total duration 2s
Artifacts
update-toolchain
0s
update-toolchain
Fit to window
Zoom out
Zoom in