diff --git a/action.yml b/action.yml index 8328bf4..08c468a 100644 --- a/action.yml +++ b/action.yml @@ -38,7 +38,7 @@ runs: - name: Install Kani shell: bash run: | - export KANI_VERSION="0.25.0"; + export KANI_VERSION="0.26.0"; cargo install --version $KANI_VERSION --locked kani-verifier; cargo-kani setup;