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

clippy 1.80 #312

Merged

banditopazzo merged 1 commit into main from clippy_1_80

Jul 30, 2024

Member

banditopazzo commented Jul 30, 2024

Fix clippy errors


          chore: clippy 1.80

d9704ff

banditopazzo requested review from krsh and vadorovsky

July 30, 2024 15:24

banditopazzo self-assigned this

krsh approved these changes

View reviewed changes

banditopazzo merged commit 58cede7 into main

21 checks passed

banditopazzo deleted the clippy_1_80 branch

September 18, 2024 15:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet