From 7b562f0228de0173ecaca987f67c4286eece9efb Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Tue, 28 Jan 2025 10:53:49 -0500 Subject: [PATCH] m --- .github/workflows/library_interop_tests.yml | 4 ++-- .github/workflows/library_rust_tests.yml | 2 +- .../runtimes/rust/src/main.rs | 1 + smithy-dafny | 2 +- 4 files changed, 5 insertions(+), 4 deletions(-) diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index 81084b453..49f0ab6d7 100644 --- a/.github/workflows/library_interop_tests.yml +++ b/.github/workflows/library_interop_tests.yml @@ -114,7 +114,7 @@ jobs: uses: ./smithy-dafny/.github/actions/build_dafny_from_source with: dafny-version: 4.9.2 - ref: 867e0e262e8b939f6a1b1260fccec71613dbcc30 + ref: a928ebf5733dca040cbbb9b0c5861c20fb5bff6d - name: Setup Dafny Not Rust if: matrix.language != 'rust' @@ -315,7 +315,7 @@ jobs: uses: ./smithy-dafny/.github/actions/build_dafny_from_source with: dafny-version: 4.9.2 - ref: 867e0e262e8b939f6a1b1260fccec71613dbcc30 + ref: a928ebf5733dca040cbbb9b0c5861c20fb5bff6d - name: Setup Dafny 2 Not Rust if: matrix.decrypting_language != 'rust' diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml index 6f5a668a9..92f3673cb 100644 --- a/.github/workflows/library_rust_tests.yml +++ b/.github/workflows/library_rust_tests.yml @@ -68,7 +68,7 @@ jobs: uses: ./smithy-dafny/.github/actions/build_dafny_from_source with: dafny-version: 4.9.2 - ref: 867e0e262e8b939f6a1b1260fccec71613dbcc30 + ref: a928ebf5733dca040cbbb9b0c5861c20fb5bff6d # TODO: Remove this after the formatting in Rust starts working - name: smithy-dafny Rust hacks diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs b/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs index 929655a20..05b9e7d9e 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs @@ -72,6 +72,7 @@ fn main2() { crate::implementation_from_dafny::r#_WrappedMaterialProvidersMain_Compile::_default::Main(&dafny_args); } +// RUST_MIN_STACK does not work for `main`, so we need a new thread fn main() { std::thread::Builder::new().stack_size(64 * 1024 * 1024).spawn(main2).unwrap().join().unwrap(); } diff --git a/smithy-dafny b/smithy-dafny index a926e5d5b..506fad167 160000 --- a/smithy-dafny +++ b/smithy-dafny @@ -1 +1 @@ -Subproject commit a926e5d5b23650c7c21f3b804efaf364d002a282 +Subproject commit 506fad167333044ffb0dc51ca24e3967ebf8a290