-
Notifications
You must be signed in to change notification settings - Fork 1.7k
Adding the default lint level to the metadata collection #7246
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
Adding the default lint level to the metadata collection #7246
Conversation
And stripping the clippy:: prefix from the group
551a5e6
to
8036d7f
Compare
I'm back home and can finally compile Clippy again. The configuration changes from the last PR are all working as expected, yay ^^. And this small addition is my dive back into the code base. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, except for the typo.
@bors delegate+ |
✌️ @xFrednet can now approve this pull request |
r=me with typo fixed |
Co-authored-by: Philipp Krones <[email protected]>
@bors r=flip1995 |
📌 Commit 9dc366b has been approved by |
☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test |
I noticed while working on the website adaption that the lint groups still had the
clippy::
prefix in the JSON output. This PR removes this prefix and adds alevel
field to each lint and with that simplifies the website display and saves performance.The deprecated lints get are assigned to the level
none
. This is a bit different in comparison to the current lint list, but I believe that this will look better overall. Unless there is any argument against this :).That's it just a small baby PR in comparison to the original monster ^^
See: #7172 for the full metadata collection to-do list or to suggest a new feature in connection to it.
changelog: none
r? @flip1995