Skip to content

Use rust-lang instead of rust-lang-ci for all commits #2023

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
May 23, 2025
Merged

Use rust-lang instead of rust-lang-ci for all commits #2023

merged 1 commit into from
May 23, 2025
+18 −38

Conversation

Kobzol
Copy link
Contributor

@Kobzol Kobzol commented Dec 19, 2024 •
edited
Loading

Needed for moving off rust-lang-ci.

@Kobzol Kobzol mentioned this pull request Dec 19, 2024
Open
30 tasks
@Kobzol Kobzol marked this pull request as ready for review May 23, 2025 11:00
@Kobzol Kobzol changed the title [do not merge] Use rust-lang instead of rust-lang-ci for all commits Use rust-lang instead of rust-lang-ci for all commits May 23, 2025
@Kobzol
Copy link
Contributor Author

Kobzol commented May 23, 2025 •
edited
Loading

Since it seems like CI is running fine ( 🤞 ) on rust-lang/rust now, let's merge this. If there are some problems and we need to switch back to the old repository, we can always just revert also this PR again. And even if it breaks, it's not that important, just unrolled builds should fail on rollups, and maybe some commit links would be broken.

@Kobzol Kobzol merged commit 8158f78 into rust-lang:master May 23, 2025
11 checks passed
@Kobzol Kobzol deleted the move-to-rust-lang branch May 23, 2025 11:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Mark-Simulacrum Mark-Simulacrum Mark-Simulacrum approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Kobzol @Mark-Simulacrum