diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 2b69dd2e..1776ff59 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -11,4 +11,4 @@ jobs:
         uses: actions/checkout@v3
 
       - name: 'Run Kani on your code.'
-        uses: model-checking/kani-github-action@v0.15
+        uses: model-checking/kani-github-action@v0.36