Skip to content

ci: scope down GitHub Token permissions #302

ci: scope down GitHub Token permissions

ci: scope down GitHub Token permissions #302

Triggered via pull request October 21, 2025 21:35
Status Failure
Total duration 3m 19s
Artifacts

ci.yml

on: pull_request
Matrix: CI
Fit to window
Zoom out
Zoom in

Annotations

4 errors
CI (20.x)
Could not assume role with user credentials: User: arn:aws:sts::370957321024:assumed-role/codebuild-AWS-ESDK-JS-service-role-release/AWSCodeBuild-497f671e-ce99-4637-b0ac-163340c6a2db is not authorized to perform: sts:TagSession on resource: arn:aws:iam::370957321024:role/GitHub-CI-MPL-Dafny-Role-us-west-2
CI (18.x)
Could not assume role with user credentials: User: arn:aws:sts::370957321024:assumed-role/codebuild-AWS-ESDK-JS-service-role-release/AWSCodeBuild-0798ec05-fc12-429f-bd3d-d9e6720532dc is not authorized to perform: sts:TagSession on resource: arn:aws:iam::370957321024:role/GitHub-CI-MPL-Dafny-Role-us-west-2
CI (22.x)
Could not assume role with user credentials: User: arn:aws:sts::370957321024:assumed-role/codebuild-AWS-ESDK-JS-service-role-release/AWSCodeBuild-e0ab147b-f116-417f-b42c-3ed64ffd931c is not authorized to perform: sts:TagSession on resource: arn:aws:iam::370957321024:role/GitHub-CI-MPL-Dafny-Role-us-west-2
CI (latest)
Could not assume role with user credentials: User: arn:aws:sts::370957321024:assumed-role/codebuild-AWS-ESDK-JS-service-role-release/AWSCodeBuild-3e1b4ea1-ab57-44a1-b423-9b9773cbeb47 is not authorized to perform: sts:TagSession on resource: arn:aws:iam::370957321024:role/GitHub-CI-MPL-Dafny-Role-us-west-2