Roll pinned toolchain versions #163
roll-pinned-toolchain-versions.yml
on: schedule
Roll pinned Kani version
13s
Matrix: roll_rust
Annotations
3 errors
Roll pinned Kani version
Input 'token' not supplied. Unable to continue.
|
Roll pinned toolchain stable version
Input 'token' not supplied. Unable to continue.
|
Roll pinned toolchain nightly version
Input 'token' not supplied. Unable to continue.
|