Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #802

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #802

Triggered via schedule October 7, 2025 12:42
@joshlfjoshlf
⁠ 912fca6
main
Status Failure
Total duration 1m 29s
Artifacts –

roll-pinned-toolchain-versions.yml

on: schedule
Matrix: Roll pinned Kani version
Matrix: roll_rust
Fit to window
Zoom out
Zoom in

Annotations

11 errors
Roll pinned Kani version (v0.7.x)
Invalid format '0.1.5'
Roll pinned Kani version (v0.7.x)
Unable to process file command 'env' successfully.
Roll pinned Kani version (v0.7.x)
Process completed with exit code 1.
Roll pinned Kani version (main)
Invalid format '0.1.5'
Roll pinned Kani version (main)
Unable to process file command 'env' successfully.
Roll pinned Kani version (main)
Process completed with exit code 1.
Roll pinned Kani version (main)
The strategy configuration was canceled because "roll_kani.v0_7_x" failed
Roll pinned toolchain stable version on main
The process '/usr/bin/git' failed with exit code 2
Roll pinned toolchain stable version on main
Roll pinned toolchain nightly version on main
The process '/usr/bin/git' failed with exit code 2
Roll pinned toolchain nightly version on main