Skip to content

Roll pinned toolchain versions #356

Roll pinned toolchain versions

Roll pinned toolchain versions #356

Triggered via schedule August 1, 2024 12:40
Status Failure
Total duration 43s
Artifacts
Matrix: Roll pinned Kani version
Matrix: roll_rust
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Roll pinned toolchain nightly version on v0.7.x
Process completed with exit code 101.
Roll pinned toolchain stable version on v0.7.x
Process completed with exit code 101.
Roll pinned toolchain stable version on main
The job was canceled because "nightly_v0_7_x" failed.
Roll pinned toolchain stable version on main
The operation was canceled.
Roll pinned toolchain nightly version on main
The job was canceled because "nightly_v0_7_x" failed.
Roll pinned toolchain nightly version on main
The operation was canceled.