diff --git a/action.yml b/action.yml
index 688c0d6..5a0b15c 100644
--- 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;