a

aws · Aug 26, 2024 · c801d35 · c801d35
1 parent 63d6bb3
commit c801d35
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml
@@ -191,8 +191,8 @@ 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