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

Lots of clippy fixes and more complete linting in CI #2029

Merged
merged 6 commits into from
Oct 14, 2023
Merged

Lots of clippy fixes and more complete linting in CI #2029

merged 6 commits into from
Oct 14, 2023

Commits on Oct 14, 2023

  1. No leading zeros in integer literals

    @fintelia
    fintelia committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    9297f1f View commit details
    Browse the repository at this point in the history

  2. Clippy fixes

    @fintelia
    fintelia committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    5096afb View commit details
    Browse the repository at this point in the history

  3. Even more clippy fixes

    @fintelia
    fintelia committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    8c899f1 View commit details
    Browse the repository at this point in the history

  4. Run clippy against all targets

    @fintelia
    fintelia committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    fa21b7d View commit details
    Browse the repository at this point in the history

  5. Use nightly clippy

    @fintelia
    fintelia committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    7c4a106 View commit details
    Browse the repository at this point in the history

  6. Re-enable clippy::many_single_char_names

    @fintelia
    fintelia committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    6d94097 View commit details
    Browse the repository at this point in the history