m

josecorella · josecorella · commit 6a57f10ddaf6 · 2025-07-21T13:39:26.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: mpl
+        working-directory: submodules/MaterialProvider
         run: |
           git fetch
           git checkout ${{inputs.mpl-commit}}
