From 5e9849c6eb522ee4ac7a80367ac772236198605e Mon Sep 17 00:00:00 2001
From: Jose Corella <joseeduardocorella@gmail.com>
Date: Wed, 22 Nov 2023 12:22:01 -0800
Subject: [PATCH] chore(ci): fix role to assume

---
 .github/workflows/library_net_tests.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/library_net_tests.yml b/.github/workflows/library_net_tests.yml
index 5f3c9fcb0..1d4a3876f 100644
--- 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