From 75afb07a9c5f10fe36966ec8b6c8ace3d1d27365 Mon Sep 17 00:00:00 2001 From: rahulku Date: Tue, 24 Jan 2023 14:22:17 -0800 Subject: [PATCH] bump version to 0.20.0 (#22) --- action.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/action.yml b/action.yml index cdc1b95..550fcb5 100644 --- a/action.yml +++ b/action.yml @@ -33,16 +33,16 @@ runs: - name: Install Rust uses: actions-rs/toolchain@v1.0.7 with: - # From https://github.com/model-checking/kani/blob/kani-0.19.0/rust-toolchain.toml + # From https://github.com/model-checking/kani/blob/kani-0.20.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-11-20 + toolchain: nightly-2022-12-11 override: true - name: Install Kani shell: bash run: | - export KANI_VERSION="0.19.0"; + export KANI_VERSION="0.20.0"; cargo install --version $KANI_VERSION --locked kani-verifier; cargo-kani setup;