From 57fcee8655485c30be5288914331f856c8d1a2ba Mon Sep 17 00:00:00 2001 From: Josh Triplett Date: Sun, 12 Jan 2025 15:24:29 +0200 Subject: [PATCH] Deny `clippy::same_item_push` (no occurrences) --- src/bootstrap/src/core/build_steps/clippy.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/bootstrap/src/core/build_steps/clippy.rs b/src/bootstrap/src/core/build_steps/clippy.rs index 18ce81251b54..299eddd52a8c 100644 --- a/src/bootstrap/src/core/build_steps/clippy.rs +++ b/src/bootstrap/src/core/build_steps/clippy.rs @@ -392,6 +392,7 @@ impl Step for CI { "clippy::needless_bool_assign".into(), "clippy::non_minimal_cfg".into(), "clippy::print_literal".into(), + "clippy::same_item_push".into(), ], forbid: vec![], }; @@ -408,6 +409,7 @@ impl Step for CI { "clippy::needless_bool_assign".into(), "clippy::non_minimal_cfg".into(), "clippy::print_literal".into(), + "clippy::same_item_push".into(), ], forbid: vec![], };