chore: update iam permissions for static tv (#1554)

Author: josecorella

codebuild/nodejs20.yml

@@ -5,8 +5,15 @@ env:
     NODE_OPTIONS: "--max-old-space-size=4096"
 
 phases:
-  install:
+  install: 
     commands:
+      - TMP_ROLE=$(aws sts assume-role --role-arn "arn:aws:iam::370957321024:role/GitHub-CI-MPL-Dafny-Role-us-west-2" --role-session-name "CB-TestVectorResources")
+      - export TMP_ROLE
+      - export AWS_ACCESS_KEY_ID=$(echo "${TMP_ROLE}" | jq -r '.Credentials.AccessKeyId')
+      - export AWS_SECRET_ACCESS_KEY=$(echo "${TMP_ROLE}" | jq -r '.Credentials.SecretAccessKey')
+      - export AWS_SESSION_TOKEN=$(echo "${TMP_ROLE}" | jq -r '.Credentials.SessionToken')
+      - aws sts get-caller-identity
+      
       - n 20
       - node --version ; npm --version
       - npm ci --unsafe-perm