Auto merge of #44350 - GuillaumeGomez:id-false-positive, r=QuietMisdreavus

[rust.git] / src / tools / tidy / src / lib.rs

diff --git a/src/tools/tidy/src/lib.rs b/src/tools/tidy/src/lib.rs
index 731a3d96cff9d9521c848200e667744dcb2f2310..90bf7a5e0a6877ba72c20bbbe2abf5805c76522a 100644 (file)
--- a/src/tools/tidy/src/lib.rs
+++ b/src/tools/tidy/src/lib.rs
@@ -64,6 +64,8 @@ fn filter_dirs(path: &Path) -> bool {
         "src/tools/rls",
         "src/tools/clippy",
         "src/tools/rust-installer",
+        "src/tools/rustfmt",
+        "src/tools/miri",
     ];
     skip.iter().any(|p| path.ends_with(p))
 }