From 8070bb828c01c14bd16a6e9afca82c1d1fdff543 Mon Sep 17 00:00:00 2001
From: Who? Me?! <mark-i-m@users.noreply.github.com>
Date: Thu, 18 Jul 2019 08:42:39 -0500
Subject: [PATCH] Regressions ok for miri too

Co-Authored-By: kennytm <kennytm@gmail.com>
---
 src/ci/docker/x86_64-gnu-tools/checkregression.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ci/docker/x86_64-gnu-tools/checkregression.py b/src/ci/docker/x86_64-gnu-tools/checkregression.py
index c1211579648e..f8d9190a066a 100755
--- a/src/ci/docker/x86_64-gnu-tools/checkregression.py
+++ b/src/ci/docker/x86_64-gnu-tools/checkregression.py
@@ -5,7 +5,7 @@ import sys
 import json
 
 # Regressions for these tools does not cause failure
-REGRESSION_OK = ["rustc-guide"]
+REGRESSION_OK = ["rustc-guide", "miri"]
 
 if __name__ == '__main__':
     os_name = sys.argv[1]