diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3504f7c..adafe0c 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -133,7 +133,7 @@ jobs:
         override: true
 
     - name: Kani run
-      uses: model-checking/kani-github-action@v0.33
+      uses: model-checking/kani-github-action@v0.36
       with:
         working-directory: examples/basic
         args: --tests