Merge pull request #420 from moka-rs/kani-2024-04-19/v0.12

CI: Unpin `syn` and `proc-macro2` versions as a new version `0.50.0` of `kani` is released
moka-rs · Apr 19, 2024 · 26bbb2a · 26bbb2a
2 parents c56d646 + 511c8e0
commit 26bbb2a
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.ci_extras/pin-crate-vers-kani.sh b/.ci_extras/pin-crate-vers-kani.sh
@@ -4,5 +4,4 @@ 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
+# cargo update -p crate-name --precise x.y.z