Roll pinned toolchain versions #58
roll-pinned-toolchain-versions.yml
on: schedule
Matrix: Roll pinned Kani version
Matrix: roll_rust
Annotations
9 errors and 3 warnings
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 Kani version (v0.7.x)
The job was canceled because "main" failed.
|
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.18.1'
|
Roll pinned toolchain stable version on main
Input 'token' not supplied. Unable to continue.
|
Roll pinned toolchain nightly version on main
Input 'token' not supplied. Unable to continue.
|
Roll pinned Kani version (main)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Roll pinned toolchain stable version on main
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Roll pinned toolchain nightly version on main
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|