miri is not in toolstate any more

2022-09-20 12:57:42 +02:00 · 2022-09-20 12:57:42 +02:00 · 3f3167fb59
commit 3f3167fb59
parent 7e23244ef1
1 changed files with 0 additions and 1 deletions
--- 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"),
 ];