Skip to content

Roll pinned toolchain versions #354

Roll pinned toolchain versions

Roll pinned toolchain versions #354

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

Annotations

7 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
The job was canceled because "nightly_v0_7_x" failed.
Roll pinned toolchain stable version on v0.7.x
Process completed with exit code 101.
Roll pinned toolchain nightly version on main
The job was canceled because "nightly_v0_7_x" failed.
Roll pinned toolchain nightly version on main
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
Process completed with exit code 101.