Skip to content

Fix some clippy::pedantic lints#2096

Merged
hecrj merged 11 commits intomasterfrom
fix/some-more-lints
Sep 20, 2023
Merged

Fix some clippy::pedantic lints#2096
hecrj merged 11 commits intomasterfrom
fix/some-more-lints

Conversation

@hecrj
Copy link
Member

@hecrj hecrj commented Sep 20, 2023

We enable some pedantic clippy lints that are somewhat sane.

This PR also adds a cargo lint and cargo nitpick command aliases.

@hecrj hecrj added improvement An internal improvement fix labels Sep 20, 2023
@hecrj hecrj added this to the 0.12 milestone Sep 20, 2023
@hecrj hecrj merged commit 2f7ff14 into master Sep 20, 2023
@hecrj hecrj deleted the fix/some-more-lints branch September 20, 2023 13:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fix improvement An internal improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments