From b648fd9239fb0f767c474f82c130d42dd86ed3f7 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Tue, 15 Nov 2022 10:47:34 -0800 Subject: [PATCH] Update versions to match Kani 0.15.0 release --- action.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/action.yml b/action.yml index a26e1c7..c2f5272 100644 --- a/action.yml +++ b/action.yml @@ -29,16 +29,16 @@ runs: - name: Install Rust uses: actions-rs/toolchain@v1.0.7 with: - # From https://github.com/model-checking/kani/blob/kani-0.14.1/rust-toolchain.toml + # From https://github.com/model-checking/kani/blob/kani-0.15.0/rust-toolchain.toml # Should be updated every time we update the version to keep in sync. # This should be automated https://github.com/model-checking/kani-github-action/issues/9 - toolchain: nightly-2022-10-24 + toolchain: nightly-2022-11-06 override: true - name: Install Kani shell: bash run: | - export KANI_VERSION="0.14.1"; + export KANI_VERSION="0.15.0"; cargo install --version $KANI_VERSION --locked kani-verifier; cargo-kani setup;