m

ajewellamz · ajewellamz · commit 368d53f8323e · 2025-01-28T10:56:55.000-05:00
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -64,7 +64,7 @@ jobs:
         uses: ./submodules/smithy-dafny/.github/actions/build_dafny_from_source
         with:
           dafny-version: 4.9.2
-          ref: 867e0e262e8b939f6a1b1260fccec71613dbcc30
+          ref: a928ebf5733dca040cbbb9b0c5861c20fb5bff6d
 
       - 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 470dc9597fda7799c8a463c031e43682089e55ed
+Subproject commit 138558c10d577d1f7b789851e572dc09df99597a
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit a926e5d5b23650c7c21f3b804efaf364d002a282
+Subproject commit 506fad167333044ffb0dc51ca24e3967ebf8a290
