chore(ci): fix role to assume

aws · Nov 22, 2023 · c1f04fc · c1f04fc
2 parents 5a5bcd9 + 5e9849c
commit c1f04fc
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/library_net_tests.yml b/.github/workflows/library_net_tests.yml
@@ -5,7 +5,7 @@ on:
   pull_request:
   push:
     branches:
-      - public-v4
+      - mainline 
   schedule:
     # Nightly build against Dafny's nightly prereleases,
     # for early warning of verification issues or regressions.
@@ -37,7 +37,6 @@ jobs:
           macos-latest,
         ]
     runs-on: ${{ matrix.os }}
-    environment: "MPL_DAFNY"
     permissions:
       id-token: write
       contents: read
@@ -59,7 +58,7 @@ jobs:
         uses: aws-actions/configure-aws-credentials@v2
         with:
           aws-region: us-west-2
-          role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-ESDK-Dafny-Role-us-west-2
+          role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2 
           role-session-name: NetTests
 
       - name: Setup .NET Core SDK 6