m

aws · Jan 23, 2025 · aabce34 · aabce34
1 parent f2b69a5
commit aabce34
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 7 deletions.
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -61,10 +61,9 @@ jobs:
 
       # Use setup-dafny-actions with correct version when Dafny releases 4.8.2
       - name: Setup Dafny
-        #        uses: dafny-lang/[email protected]
-        uses: ./submodules/smithy-dafny/.github/actions/build_dafny_from_source
-        with:
-          dafny: d07403b6d6606257e1b5aada4d0156901f4a17de
+        uses: https://github.com/dafny-lang/setup-dafny-action/commit/03b219c5a4f71cfe24cb9e02b69d4a622449adbb
+	with:
+          build-from-source: d07403b6d6606257e1b5aada4d0156901f4a17de
 
       - name: Update MPL submodule if using MPL HEAD
         if: ${{ inputs.mpl-head == true }}

diff --git a/DynamoDbEncryption/runtimes/rust/examples/main.rs b/DynamoDbEncryption/runtimes/rust/examples/main.rs
@@ -15,8 +15,6 @@ pub mod multi_get_put_example;
 pub mod searchableencryption;
 pub mod test_utils;
 
-pub mod basic_async;
-
 use std::convert::From;
 
 // Why two types?

diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny