Skip to content

Move bors CI jobs from rust-lang-ci to rust-lang #233

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
May 23, 2025

Conversation

Kobzol
Copy link
Contributor

@Kobzol Kobzol commented May 20, 2025

Needed for rust-lang/infra-team#188.

Warning: this shouldn't be merged until we get some t-infra[-admins] people to be ready to put out potential fires.

@Kobzol Kobzol marked this pull request as ready for review May 23, 2025 06:24
@Kobzol Kobzol force-pushed the move-off-rust-lang-ci branch from bded9b9 to 7ea0e82 Compare May 23, 2025 07:40
@Kobzol Kobzol marked this pull request as draft May 23, 2025 07:41
@Kobzol Kobzol force-pushed the move-off-rust-lang-ci branch from 7ea0e82 to c5291c5 Compare May 23, 2025 08:48
@Kobzol Kobzol marked this pull request as ready for review May 23, 2025 10:47
@Kobzol
Copy link
Contributor Author

Kobzol commented May 23, 2025

Let's try!

@Kobzol Kobzol merged commit e3fbfe2 into rust-lang:master May 23, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants