diff --git a/.github/workflows/library_net_tests.yml b/.github/workflows/library_net_tests.yml index 5326d7fe4..c50c854e6 100644 --- a/.github/workflows/library_net_tests.yml +++ b/.github/workflows/library_net_tests.yml @@ -165,7 +165,7 @@ jobs: with: aws-region: us-west-2 role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2 - role-session-name: NetTVForRetryFlagManifests + role-session-name: NetTestVectors - name: Setup .NET Core SDK 6 uses: actions/setup-dotnet@v3