-
Notifications
You must be signed in to change notification settings - Fork 12.7k
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][PR for CI] refactoring #128974 #131632
Conversation
Some changes occurred in src/tools/rustfmt cc @rust-lang/rustfmt Some changes occurred in src/tools/clippy cc @rust-lang/clippy |
This comment has been minimized.
This comment has been minimized.
47a9602
to
7a86368
Compare
rustdoc-json-types is a public (although nightly-only) API. If possible, consider changing cc @CraftSpider, @aDotInTheVoid, @Enselic, @obi1kenobi These commits modify the If this was unintentional then you should revert the changes before this PR is merged. Some changes occurred in coverage tests. cc @Zalathar
|
sorry I rebased a little to far and caused this |
7a86368
to
660e9e6
Compare
@rustbot -A-meta -A-rustdoc-json |
5ab0f50
to
dfe7065
Compare
This comment has been minimized.
This comment has been minimized.
23a2f98
to
5c021ba
Compare
This comment has been minimized.
This comment has been minimized.
5c021ba
to
1ee61df
Compare
☔ The latest upstream changes (presumably #131724) made this pull request unmergeable. Please resolve the merge conflicts. |
1ee61df
to
24465fd
Compare
Working on #128974
Please ignore
r? @ghost