CI: Pin Kani version to v0.54.0 to avoid tests to stall

moka-rs · Sep 10, 2024 · 91d6b6c · 91d6b6c
1 parent 0dce5da
commit 91d6b6c
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/[email protected]
+        # Workaround for https://github.com/moka-rs/mini-moka/issues/36
+        with:
+          kani-version: '0.54.0'