chore: use correct dirs in gha (#677)

aws · Aug 26, 2024 · 25c3625 · 25c3625
1 parent 4f03595
commit 25c3625
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/dafny_interop_test_net.yml b/.github/workflows/dafny_interop_test_net.yml
@@ -87,7 +87,7 @@ jobs:
 
       - name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
         shell: bash
-        working-directory: mpl 
+        working-directory: mpl/TestVectorsAwsCryptographicMaterialProviders 
         run: |
           make setup_net
           # This works because `node` is installed by default on GHA runners
@@ -101,7 +101,7 @@ jobs:
 
       - name: Build ESDK implementation
         shell: bash
-        working-directory: AwsEncryptionSDK
+        working-directory: ./AwsEncryptionSDK
         run: |
           # This works because `node` is installed by default on GHA runners
           make transpile_implementation_net 

diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml
@@ -86,7 +86,7 @@ jobs:
 
       - name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
         shell: bash
-        working-directory: mpl 
+        working-directory: mpl/TestVectorsAwsCryptographicMaterialProviders 
         run: |
           make setup_net
           # This works because `node` is installed by default on GHA runners
@@ -100,7 +100,7 @@ jobs:
 
       - name: Build ESDK implementation
         shell: bash
-        working-directory: AwsEncryptionSDK
+        working-directory: ./AwsEncryptionSDK
         run: |
           # This works because `node` is installed by default on GHA runners
           make transpile_implementation_net 
@@ -191,12 +191,12 @@ jobs:
         uses: aws-actions/configure-aws-credentials@v4
         with:
           aws-region: us-west-2
-          role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
-          role-session-name: DDBEC-Dafny-Net-Tests
+          role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2 
+          role-session-name: NetTests
 
       - name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
         shell: bash
-        working-directory: mpl 
+        working-directory: mpl/TestVectorsAwsCryptographicMaterialProviders 
         run: |
           make setup_net
           # This works because `node` is installed by default on GHA runners