Merge pull request #419 from moka-rs/fix-kani-2024-04-16/v0.12

CI: Pin `syn` and `proc-macro2` versions for `kani@v0.49.0`
moka-rs · Apr 16, 2024 · 8ba2a0a · 8ba2a0a
2 parents 1d2af53 + f409ab4
commit 8ba2a0a
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/.ci_extras/pin-crate-vers-kani.sh b/.ci_extras/pin-crate-vers-kani.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+set -eux
+
+# Pin some dependencies to specific versions for the nightly toolchain
+# used by Kani verifier.
+cargo update -p syn@2.0 --precise 2.0.58
+cargo update -p proc-macro2 --precise 1.0.79
diff --git a/.github/workflows/Kani.yml b/.github/workflows/Kani.yml
@@ -43,6 +43,12 @@ jobs:
           lscpu
           free -m
 
+      - name: Pin some dependencies to specific versions
+        run: ./.ci_extras/pin-crate-vers-kani.sh
+
+      - name: Show cargo tree
+        run: cargo tree
+
       - name: Run Kani
         uses: model-checking/kani-github-action@v1.0
         with: