m

Author: ajewellamz

.github/workflows/library_rust_tests.yml

@@ -40,11 +40,11 @@ jobs:
           git submodule update --init --recursive submodules/MaterialProviders
 
       - 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-MPL-Dafny-Role-us-west-2
-          role-session-name: RustTests
+          role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
+          role-session-name: DDBEC-Dafny-Rust-Tests
 
       - name: Setup Rust Toolchain for GitHub CI
         uses: actions-rust-lang/[email protected]