With #26, the GitHub action now installs two Rust toolchains:
- The stable toolchain (explicitly through the
actions-rs/toolchain action)
- Kani's integrated toolchain (through the
cargo-kani setup step).
The action should instead install the toolchain needed by Kani directly. This can be done by parsing Kani's rust-toolchain.toml file.
With #26, the GitHub action now installs two Rust toolchains:
actions-rs/toolchainaction)cargo-kani setupstep).The action should instead install the toolchain needed by Kani directly. This can be done by parsing Kani's
rust-toolchain.tomlfile.