Skip to content

Merge pull request #655 from rust-lang/pa-remove-bors-repos #2406

Merge pull request #655 from rust-lang/pa-remove-bors-repos

Merge pull request #655 from rust-lang/pa-remove-bors-repos #2406

Terraform configuration

succeeded Dec 20, 2024 in 3s