chore: update mpl submodule name gha

aws · Aug 26, 2024 · 08d7b3d · 08d7b3d
1 parent 64067c7
commit 08d7b3d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
+          npx -y @aws-crypto/integration-node decrypt -v net41.zip -c cpu -f 100