diff --git a/.github/workflows/dafny_interop_test_net.yml b/.github/workflows/dafny_interop_test_net.yml
index 7c4b447a2..54c4db81b 100644
--- a/.github/workflows/dafny_interop_test_net.yml
+++ b/.github/workflows/dafny_interop_test_net.yml
@@ -55,7 +55,7 @@ jobs:
           dafny-version: ${{ inputs.mpl-dafny }}
 
       - name: Update MPL submodule
-        working-directory: submodules/MaterialProviders
+        working-directory: mpl
         run: |
           git fetch
           git checkout ${{inputs.mpl-commit}}
diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml
index 7343e363d..3e403b60d 100644
--- a/.github/workflows/dafny_interop_test_vector_net.yml
+++ b/.github/workflows/dafny_interop_test_vector_net.yml
@@ -65,7 +65,7 @@ jobs:
           dafny-version: ${{ inputs.mpl-dafny }}
 
       - name: Update MPL submodule
-        working-directory: submodules/MaterialProviders
+        working-directory: mpl
         run: |
           git fetch
           git checkout ${{inputs.mpl-commit}}
@@ -175,7 +175,7 @@ jobs:
           dafny-version: ${{ inputs.mpl-dafny }}
 
       - name: Update MPL submodule
-        working-directory: submodules/MaterialProviders
+        working-directory: mpl
         run: |
           git fetch
           git checkout ${{inputs.mpl-commit}}
@@ -305,4 +305,4 @@ jobs:
         run: |
           NET_41_VECTOR_PATH=net41/vectors
           cd $NET_41_VECTOR_PATH
-          npx -y @aws-crypto/integration-node decrypt -v net41.zip -c cpu -f 100
\ No newline at end of file
+          npx -y @aws-crypto/integration-node decrypt -v net41.zip -c cpu -f 100