Skip to content

chore: clippy#371

Merged
orriin merged 17 commits intodevelopmentfrom
chore/clippy
Apr 29, 2024
Merged

chore: clippy#371
orriin merged 17 commits intodevelopmentfrom
chore/clippy

Conversation

@orriin
Copy link
Contributor

@orriin orriin commented Apr 28, 2024

  • Fixes ~400 clippy warnings 💫🧹
  • Changes our CI cargo check step to cargo clippy --all-targets --all-features

@orriin orriin added the blue team defensive programming, CI, etc label Apr 28, 2024
@orriin orriin requested review from keithtensor and sam0x17 April 28, 2024 08:23
@orriin orriin merged commit 0288a73 into development Apr 29, 2024
@sam0x17 sam0x17 deleted the chore/clippy branch April 29, 2024 13:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

blue team defensive programming, CI, etc

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants