chore: clippy happy (#8362)

Co-authored-by: Alexey Shekhirin <a.shekhirin@gmail.com>
This commit is contained in:
Matthias Seitz
2024-05-23 13:24:20 +02:00
committed by GitHub
parent 155876d28c
commit 4250c33da1
28 changed files with 70 additions and 76 deletions

View File

@@ -105,7 +105,7 @@ rust.missing_debug_implementations = "warn"
rust.missing_docs = "warn"
rust.unreachable_pub = "warn"
rust.unused_must_use = "deny"
rust.rust_2018_idioms = "deny"
rust.rust_2018_idioms = { level = "deny", priority = -1 }
rustdoc.all = "warn"
[workspace.lints.clippy]