Regressions ok for miri too

mark-i-m · kennytm · web-flow · commit 8070bb828c01 · 2019-07-18T08:42:39.000-05:00
Co-Authored-By: kennytm &lt;kennytm@gmail.com&gt;
diff --git 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 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]
