Roll pinned toolchain versions #182
roll-pinned-toolchain-versions.yml
on: workflow_dispatch
Roll pinned Kani version
2s
Matrix: roll_rust
Annotations
2 errors
Roll pinned Kani version
Process completed with exit code 1.
|
Roll pinned toolchain nightly version
Process completed with exit code 101.
|