diff options
| author | bors <bors@rust-lang.org> | 2021-05-19 15:23:58 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-05-19 15:23:58 +0000 |
| commit | 2d597b7fb9a0ce9a90a35c9146030770cb82544a (patch) | |
| tree | 58d75d7820ad50345dab69efd6fd11c3c56ab59c /library/std/src/sys/unix/stack_overflow.rs | |
| parent | aa1959b90c42e307612b757469c8c27f87985473 (diff) | |
| parent | 9dc366bc4d8a32197f28cb94b9c0e0a51108c809 (diff) | |
| download | rust-2d597b7fb9a0ce9a90a35c9146030770cb82544a.tar.gz rust-2d597b7fb9a0ce9a90a35c9146030770cb82544a.zip | |
Auto merge of #7246 - xFrednet:7172-add-lint-level-to-output, r=flip1995
Adding the default lint level to the metadata collection 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 a `level` 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`
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions