diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index e3000372..8837d8fc 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -236,5 +236,4 @@ jobs:
       - name: 'Kani build proofs'
         uses: model-checking/kani-github-action@v1.1
         with:
-          kani-version: '0.48.0'
           args: '--only-codegen'