Skip to content

Bump lean-toolchain on nightly-testing #142

Bump lean-toolchain on nightly-testing

Bump lean-toolchain on nightly-testing #142

Triggered via schedule February 17, 2025 13:26
Status Failure
Total duration 14s
Artifacts
update-toolchain
3s
update-toolchain
Fit to window
Zoom out
Zoom in

Annotations

1 error
update-toolchain
Input required and not supplied: token