Commit ec138ab

authored

chore(deps): bump aws-actions/configure-aws-credentials (#407)

Bumps [aws-actions/configure-aws-credentials](https://github.com/aws-actions/configure-aws-credentials) from 2 to 4.

1 parent c1740f3 commit ec138abCopy full SHA for ec138ab

File tree

-4

lines changed

-4

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@ jobs:`
`40`	`40`	`contents: read`
`41`	`41`	`steps:`
`42`	`42`	`- name: Configure AWS Credentials`
`43`		`- uses: aws-actions/configure-aws-credentials@v2`
	`43`	`+ uses: aws-actions/configure-aws-credentials@v4`
`44`	`44`	`with:`
`45`	`45`	`aws-region: us-west-2`
`46`	`46`	`role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@ jobs:`
`42`	`42`	`contents: read`
`43`	`43`	`steps:`
`44`	`44`	`- name: Configure AWS Credentials`
`45`		`- uses: aws-actions/configure-aws-credentials@v2`
	`45`	`+ uses: aws-actions/configure-aws-credentials@v4`
`46`	`46`	`with:`
`47`	`47`	`aws-region: us-west-2`
`48`	`48`	`role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -70,7 +70,7 @@ jobs:`
`70`	`70`	`run: make setup_net`
`71`	`71`
`72`	`72`	`- name: Configure AWS Credentials`
`73`		`- uses: aws-actions/configure-aws-credentials@v2`
	`73`	`+ uses: aws-actions/configure-aws-credentials@v4`
`74`	`74`	`with:`
`75`	`75`	`aws-region: us-west-2`
`76`	`76`	`role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ jobs:`
`28`	`28`	`cors: '*'`
`29`	`29`
`30`	`30`	`- name: Configure AWS Credentials`
`31`		`- uses: aws-actions/configure-aws-credentials@v2`
	`31`	`+ uses: aws-actions/configure-aws-credentials@v4`
`32`	`32`	`with:`
`33`	`33`	`aws-region: us-west-2`
`34`	`34`	`role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2`

Comments

(0)