chore(GHA): fix dafny_interop_java (#1283)

aws · Aug 16, 2024 · 5a1c921 · 5a1c921
1 parent 1e6be80
commit 5a1c921
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/dafny-interop.yml b/.github/workflows/dafny-interop.yml
@@ -7,16 +7,16 @@ on:
   workflow_dispatch:
     inputs:
       mpl-dafny:
-        description: "The Dafny version to compile the MPL with (4.2.0, dafny-nightly, etc..)"
+        description: "The Dafny version to compile the MPL with (4.2.0, nightly-latest, etc..)"
         required: true
         type: string
       mpl-commit:
-        description: "The MPL commit to use"
+        description: "The MPL branch/commit to use"
         required: false
-        default: "HEAD"
+        default: "main"
         type: string
       dbesdk-dafny:
-        description: "The Dafny version to compile the DBESDK with (4.2.0, dafny-nightly, etc..)"
+        description: "The Dafny version to compile the DBESDK with (4.2.0, nightly-latest, etc..)"
         required: true
         type: string
 

diff --git a/.github/workflows/dafny_interop_java.yml b/.github/workflows/dafny_interop_java.yml
@@ -63,7 +63,7 @@ jobs:
           java-version: ${{ matrix.java-version }}
 
       - name: Build MPL with Dafny ${{inputs.mpl-dafny}}
-        working-directory: submodules/MaterialProviders/submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders
+        working-directory: submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders
         run: |
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')