From 511c8e03e933f8a62c256b776398cd47bf7599b7 Mon Sep 17 00:00:00 2001 From: Tatsuya Kawano Date: Fri, 19 Apr 2024 08:33:21 +0800 Subject: [PATCH] CI: Unpin `syn` and `proc-macro2` versions as a new version `v0.50.0` of `kani` is released --- .ci_extras/pin-crate-vers-kani.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.ci_extras/pin-crate-vers-kani.sh b/.ci_extras/pin-crate-vers-kani.sh index 7e7e366a..20038ceb 100755 --- 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