Bump Kani-GitHub-Action version to 0.24.0 (#31)

Signed-off-by: Felipe R. Monteiro <[email protected]>
model-checking · Mar 21, 2023 · d9a813f · d9a813f
1 parent 34d6267
commit d9a813f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -38,7 +38,7 @@ runs:
     - name: Install Kani
       shell: bash
       run: |
-        export KANI_VERSION="0.23.0";
+        export KANI_VERSION="0.24.0";
         cargo install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;