Mark miri as broken.

rust-lang · Dec 17, 2017 · 799a83c · 799a83c
1 parent 7dc79cc
commit 799a83c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/toolstate.toml b/src/tools/toolstate.toml
@@ -23,7 +23,7 @@
 # Each tool has a list of people to ping
 
 # ping @oli-obk @RalfJung @eddyb
-miri = "Testing"
+miri = "Broken"
 
 # ping @Manishearth @llogiq @mcarton @oli-obk
 clippy = "Testing"