Skip to content

ci: split aws credentials in two separate users with scoped perms#64576

Merged
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:split-aws-tokens
Sep 20, 2019

Commits

Commits on Sep 19, 2019