Skip to content

Improve is_lint_level code #12375

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Feb 28, 2024
Merged

Conversation

GuillaumeGomez
Copy link
Member

Since rust-lang/rust#121230 was merged, we can now rely on Level directly instead of keeping the list of symbols to check in clippy.

changelog: Improve is_lint_level code

@rustbot
Copy link
Collaborator

rustbot commented Feb 28, 2024

r? @y21

rustbot has assigned @y21.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Feb 28, 2024
@flip1995
Copy link
Member

@bors r+

Thanks!

@bors
Copy link
Contributor

bors commented Feb 28, 2024

📌 Commit 41a3516 has been approved by flip1995

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Feb 28, 2024

⌛ Testing commit 41a3516 with merge e9fdf06...

bors added a commit that referenced this pull request Feb 28, 2024
Improve `is_lint_level` code

Since rust-lang/rust#121230 was merged, we can now rely on `Level` directly instead of keeping the list of symbols to check in clippy.

changelog: Improve `is_lint_level` code
@bors
Copy link
Contributor

bors commented Feb 28, 2024

⌛ Testing commit 41a3516 with merge b4021ee...

@bors
Copy link
Contributor

bors commented Feb 28, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: flip1995
Pushing b4021ee to master...

@bors bors merged commit b4021ee into rust-lang:master Feb 28, 2024
@GuillaumeGomez GuillaumeGomez deleted the improve-code branch February 28, 2024 15:32
# for free to join this conversation on GitHub. Already have an account? # 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.

5 participants