m

Lucas McDonald · Lucas McDonald · commit 932ccf0aa4d4 · 2025-05-27T12:38:36.000-07:00
diff --git a/.github/actions/install_smithy_dafny_codegen_dependencies/action.yml b/.github/actions/install_smithy_dafny_codegen_dependencies/action.yml
@@ -44,4 +44,4 @@ runs:
     - name: Arbitrary makefile target to force downloading Gradle
       shell: bash
       run: |
-        make -C StandardLibrary setup_net
+        make -C submodules/MaterialProviders/StandardLibrary setup_net
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit f033b915701eaa53d97019af61b96a51fed43483
+Subproject commit 1fa8a4a67485f32b01adb3b250e783a59c58bf1e
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 2f83e28ad9532b24c93d2229476c9a268355d338
+Subproject commit feacf4a60854532f16da2ef7c8a5d310116dc951
