Skip to content

Roll pinned toolchain versions #203

Roll pinned toolchain versions

Roll pinned toolchain versions #203

Triggered via schedule June 18, 2024 12:52
Status Failure
Total duration 1m 36s
Artifacts
Roll pinned Kani version
3s
Roll pinned Kani version
Matrix: roll_rust
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Roll pinned Kani version
Input 'token' not supplied. Unable to continue.
Roll pinned toolchain stable version
Input 'token' not supplied. Unable to continue.
Roll pinned toolchain nightly version
The job was canceled because "stable" failed.
Roll pinned toolchain nightly version
Input 'token' not supplied. Unable to continue.