diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e370c15fa..a8421eae6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -180,7 +180,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - name: Verify with Kani
-        uses: model-checking/kani-github-action@v0.32
+        uses: model-checking/kani-github-action@v1.1
         with:
           args: |
             -p prost-types