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

GitHub Actions (JS)

succeeded Dec 20, 2024 in 15s