m

Author: ajewellamz

.github/workflows/library_rust_tests.yml

@@ -121,6 +121,13 @@ jobs:
         run: |
           make test_rust
 
+      - name: Configure AWS Credentials
+        uses: aws-actions/configure-aws-credentials@v5
+        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-Rust-Tests
+
       - name: Test ${{ matrix.library }} Rust Fips
         shell: bash
         working-directory: ./${{ matrix.library }}/runtimes/rust/