Roll pinned toolchain versions #167
zoo868eroll-pinned-toolchain-versions.yml
on: schedule
Matrix: Roll pinned Kani version
Matrix: roll_rust
Annotations
10 errors
|
Roll pinned Kani version (main)
Input 'token' not supplied. Unable to continue.
|
|
Roll pinned Kani version (v0.7.x)
The job was canceled because "main" failed.
|
|
Roll pinned Kani version (v0.7.x)
The operation was canceled.
|
|
Roll pinned toolchain nightly version on main
Process completed with exit code 101.
|
|
Roll pinned toolchain stable version on v0.7.x
The job was canceled because "nightly_main" failed.
|
|
Roll pinned toolchain stable version on v0.7.x
The operation was canceled.
|
|
Roll pinned toolchain stable version on main
The job was canceled because "nightly_main" failed.
|
|
Roll pinned toolchain stable version on main
Process completed with exit code 101.
|
|
Roll pinned toolchain nightly version on v0.7.x
The job was canceled because "nightly_main" failed.
|
|
Roll pinned toolchain nightly version on v0.7.x
The operation was canceled.
|