From 799a83ca2faf1af870a4120376b47f2511685982 Mon Sep 17 00:00:00 2001
From: Eduard-Mihai Burtescu <edy.burt@gmail.com>
Date: Sun, 17 Dec 2017 16:34:43 +0200
Subject: [PATCH] Mark miri as broken.

---
 src/tools/toolstate.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/toolstate.toml b/src/tools/toolstate.toml
index dc75ac65556..86ea1130619 100644
--- 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"