m

Author: ajewellamz

.github/workflows/library_rust_tests.yml

@@ -59,10 +59,12 @@ jobs:
       # - name: Rustfmt Check
       #   uses: actions-rust-lang/rustfmt@v1
 
+      # TODO: Use setup-dafny-actions with correct version when Dafny releases 4.8.2
       - name: Setup Dafny
-        uses: dafny-lang/[email protected]
+        #        uses: dafny-lang/[email protected]
+        uses: ./submodules/smithy-dafny/.github/actions/build_dafny_from_source
         with:
-          dafny-version: nightly-2024-12-03-4954170
+          dafny: d07403b6d6606257e1b5aada4d0156901f4a17de
 
       - name: Update MPL submodule if using MPL HEAD
         if: ${{ inputs.mpl-head == true }}

TestVectors/runtimes/rust/Cargo.toml

@@ -16,7 +16,7 @@ aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
 aws-smithy-types = "1.2.10"
 chrono = "0.4.39"
 cpu-time = "1.0.0"
-dafny_runtime = { path = "../../../submodules/MaterialProviders/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
+dafny_runtime = { path = "../../../submodules/MaterialProviders/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust", features = ["sync"]}
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.42.0", features = ["full"] }