Merge pull request #41 from moka-rs/fix-ci/pin-kani-0.54.0

CI: Pin Kani version to `v0.54.0` to avoid tests to stall
moka-rs · Sep 10, 2024 · 636638f · 636638f
2 parents 0dce5da + 91d6b6c
commit 636638f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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'