Update ci.yml

Author: rishav-karanjit

.github/workflows/ci.yml

@@ -6,6 +6,14 @@ jobs:
   build-and-test-examples:
     runs-on: ubuntu-latest
     steps:
+      - name: Configure AWS Credentials
+        uses: aws-actions/configure-aws-credentials@v6
+        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-Java-Tests
+          special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
+          
       - uses: actions/checkout@v4
         with:
           submodules: recursive