Skip to content
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

internal: fix automatic rustc/rustdoc lint generation #15725

Merged
merged 1 commit into from
Oct 9, 2023

Conversation

DaniPopes
Copy link
Contributor

Missed in #15680: the output of -Whelp changed since the last run so it generated some bad rustdoc lints entries.
Also preemptively fix a -Whelp breakage that might get merged in rust-lang/rust#116412

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Oct 7, 2023
@Veykril
Copy link
Member

Veykril commented Oct 9, 2023

Thanks!
@bors r+

@bors
Copy link
Collaborator

bors commented Oct 9, 2023

📌 Commit c5d9bfa has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Oct 9, 2023

⌛ Testing commit c5d9bfa with merge 7e9b25b...

@bors
Copy link
Collaborator

bors commented Oct 9, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 7e9b25b to master...

@bors bors merged commit 7e9b25b into rust-lang:master Oct 9, 2023
10 checks passed
@DaniPopes DaniPopes deleted the fix-lintgen branch October 9, 2023 06:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants