1
Fork 0
mirror of https://github.com/RGBCube/uutils-coreutils synced 2025-07-29 20:17:45 +00:00

Merge pull request #7724 from nyurik/ref-option

chore: fix `ref_option` lint
This commit is contained in:
Sylvestre Ledru 2025-04-12 23:37:57 +02:00 committed by GitHub
commit e4c7bd0641
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
11 changed files with 45 additions and 44 deletions

View file

@ -600,3 +600,4 @@ unused_qualifications = "warn"
[workspace.lints.clippy]
all = { level = "deny", priority = -1 }
#cargo = { level = "warn", priority = -1 }
ref_option = "warn"