diff --git a/.github/workflows/Kani.yml b/.github/workflows/Kani.yml
index e922ffe..d3e3bec 100644
--- a/.github/workflows/Kani.yml
+++ b/.github/workflows/Kani.yml
@@ -26,3 +26,6 @@ jobs:
           free -m
       - name: Run Kani
         uses: model-checking/kani-github-action@v1.0
+        # Workaround for https://github.com/moka-rs/mini-moka/issues/36
+        with:
+          kani-version: '0.54.0'