Roll pinned toolchain versions #362
roll-pinned-toolchain-versions.yml
on: schedule
Matrix: Roll pinned Kani version
Matrix: roll_rust
Annotations
4 errors
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 "stable_v0_7_x" failed.
|
Roll pinned toolchain nightly version on v0.7.x
The job was canceled because "stable_v0_7_x" failed.
|
Roll pinned toolchain nightly version on main
The job was canceled because "stable_v0_7_x" failed.
|