m

ajewellamz · ajewellamz · commit 4e79f5921405 · 2025-01-24T16:46:04.000-05:00
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -61,10 +61,10 @@ jobs:
 
       # Use setup-dafny-actions with correct version when Dafny releases 4.8.2
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@03b219c5a4f71cfe24cb9e02b69d4a622449adbb
+        uses: ./submodules/smithy-dafny/.github/actions/build_dafny_from_source
         with:
           dafny-version: 4.9.2
-          build-from-source: d07403b6d6606257e1b5aada4d0156901f4a17de
+          ref: 867e0e262e8b939f6a1b1260fccec71613dbcc30
 
       - name: Update MPL submodule if using MPL HEAD
         if: ${{ inputs.mpl-head == true }}
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit ed851625e9c31557ab90674c42c7c2a49f48ea22
+Subproject commit 470dc9597fda7799c8a463c031e43682089e55ed
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit ce7339311ba625a7b41a9cfca5854d5bb542114f
+Subproject commit a926e5d5b23650c7c21f3b804efaf364d002a282
