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.

Sign up for GitHub

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

Jump to bottom

Adding the default lint level to the metadata collection #7246

Merged
merged 2 commits into from
May 19, 2021
Merged

Adding the default lint level to the metadata collection #7246

merged 2 commits into from
May 19, 2021

Commits on May 19, 2021

  1. Adding the default lint level to the metadata collection 

    And stripping the clippy:: prefix from the group
    @xFrednet
    xFrednet committed May 19, 2021
    Configuration menu
    Copy the full SHA
    8036d7f View commit details
    Browse the repository at this point in the history

  2. Fixed a type 

    Co-authored-by: Philipp Krones <[email protected]>
    @xFrednet @flip1995
    xFrednet and flip1995 authored May 19, 2021
    Configuration menu
    Copy the full SHA
    9dc366b View commit details
    Browse the repository at this point in the history