From 959d22e46fad266f69bca7f9c59fddb7d9ada7b0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Corella?=
 <39066999+josecorella@users.noreply.github.com>
Date: Mon, 26 Aug 2024 14:07:24 -0700
Subject: [PATCH] chore: update mpl submodule name gha (#675)

---
 .github/workflows/dafny_interop_test_net.yml        | 2 +-
 .github/workflows/dafny_interop_test_vector_net.yml | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

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