Apply suggestions from code review

Co-authored-by: Lucas McDonald <[email protected]>
aws · Aug 26, 2024 · e284e55 · e284e55
1 parent 79f56a2
commit e284e55
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml
@@ -78,7 +78,7 @@ jobs:
         run: make setup_net
 
       - name: Configure AWS Credentials
-        uses: aws-actions/configure-aws-credentials@v2
+        uses: aws-actions/configure-aws-credentials@v4
         with:
           aws-region: us-west-2
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2