-
Notifications
You must be signed in to change notification settings - Fork 13.8k
[WIP] Please Ignore #147358
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
[WIP] Please Ignore #147358
Conversation
Merged into 99ca0ae of rustc, HEAD as of Sat Oct 4 14:57:32 2025 +0000.
The job Click to see the possible cause of the failure (guessed by this bot)
|
Please don't open PRs such as these against the main repo. I'm not sure what happened with this PR, but as you can see in #147357, this can lead to a ping of reviewers or otherwise, and does take up people's time. Moreover, it is just unnecessary. If you just want to see a diff, you can either see it at |
Sorry about that, I was supposed to use a second branch in my fork for the PR. Best wishes! |
The purpose of this PR is to diff changes written in a fork of
rustc
as a component of a research project.These changes are not intended to be merged at any point in the future; please feel free to disable CI workflows, etc.
@mernst