diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 49300ede..520ad176 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -11,4 +11,4 @@ jobs:
         uses: actions/checkout@v4
 
       - name: 'Run Kani on your code.'
-        uses: model-checking/kani-github-action@v0.37
+        uses: model-checking/kani-github-action@v1.0