Update Kani version to 0.37.0 (#49)

Co-authored-by: Remi Delmas <delmasrd@amazon.com>
model-checking · Sep 20, 2023 · 7c99bc7 · 7c99bc7
1 parent 4876903
commit 7c99bc7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -36,7 +36,7 @@ runs:
  - name: Install Kani
  shell: bash
  run: |
- export KANI_VERSION="0.36.0";
+ export KANI_VERSION="0.37.0";
  cargo install --version $KANI_VERSION --locked kani-verifier;
  cargo-kani setup;