From aabce34d45e7d52ed5bf6d5514fe8f5cb0b082bd Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Thu, 23 Jan 2025 15:17:10 -0500 Subject: [PATCH] m --- .github/workflows/library_rust_tests.yml | 7 +++---- DynamoDbEncryption/runtimes/rust/examples/main.rs | 2 -- submodules/smithy-dafny | 2 +- 3 files changed, 4 insertions(+), 7 deletions(-) diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml index 96ec42b22..1cc643ef4 100644 --- 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/setup-dafny-action@v1.7.0 - 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 index d8e603fb6..f82979bcb 100644 --- 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 index 0cc71ac9e..ce7339311 160000 --- a/submodules/smithy-dafny +++ b/submodules/smithy-dafny @@ -1 +1 @@ -Subproject commit 0cc71ac9e55f23ab97583718ba8cebc11e9bda2e +Subproject commit ce7339311ba625a7b41a9cfca5854d5bb542114f