Skip to content

Roll pinned toolchain versions #433

Roll pinned toolchain versions

Roll pinned toolchain versions #433

Triggered via schedule October 8, 2024 12:41
Status Failure
Total duration 1m 27s
Artifacts
Matrix: Roll pinned Kani version
Matrix: roll_rust
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Roll pinned Kani version (v0.7.x)
Process completed with exit code 1.
Roll pinned Kani version (v0.7.x)
Unable to process file command 'env' successfully.
Roll pinned Kani version (v0.7.x)
Invalid format '0.1.5'
Roll pinned Kani version (main)
The job was canceled because "v0_7_x" failed.
Roll pinned Kani version (main)
Process completed with exit code 1.
Roll pinned Kani version (main)
Unable to process file command 'env' successfully.
Roll pinned Kani version (main)
Invalid format '0.1.5'
Roll pinned toolchain stable version on main
Process completed with exit code 101.
Roll pinned toolchain nightly version on main
Process completed with exit code 101.