Roll pinned toolchain versions #190
roll-pinned-toolchain-versions.yml
on: workflow_dispatch
Roll pinned Kani version
9s
Matrix: roll_rust
Annotations
3 errors
Roll pinned toolchain nightly version
Process completed with exit code 101.
|
Roll pinned toolchain stable version
The job was canceled because "nightly" failed.
|
Roll pinned toolchain stable version
The operation was canceled.
|