m

josecorella · josecorella · commit ceb6a63164bd · 2025-07-21T13:52:12.000-07:00
diff --git a/.github/workflows/dafny_interop_go_tests.yml b/.github/workflows/dafny_interop_go_tests.yml
@@ -72,7 +72,7 @@ jobs:
           java-version: "17"
 
       - name: Update MPL submodule
-        working-directory: submodules/MaterialProvider
+        working-directory: submodules/MaterialProviders
         run: |
           git fetch
           git checkout ${{inputs.mpl-commit}}
