Rollup merge of #102869 - azdavis:master, r=joshtriplett

[rust.git] / src / bootstrap / toolstate.rs

diff --git a/src/bootstrap/toolstate.rs b/src/bootstrap/toolstate.rs
index f3a6759ab846b7499d372be231c925f8dcd391a0..1a17744322753f7a431b10b427568c4cf28653b8 100644 (file)
--- a/src/bootstrap/toolstate.rs
+++ b/src/bootstrap/toolstate.rs
@@ -77,7 +77,6 @@ fn days_since_beta_promotion() -> u64 {
 // though, as otherwise we will be unable to file an issue if they start
 // failing.
 static NIGHTLY_TOOLS: &[(&str, &str)] = &[
-    ("miri", "src/tools/miri"),
     ("embedded-book", "src/doc/embedded-book"),
     // ("rustc-dev-guide", "src/doc/rustc-dev-guide"),
 ];