diff options
| author | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-07-18 08:42:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-18 08:42:39 -0500 |
| commit | 8070bb828c01c14bd16a6e9afca82c1d1fdff543 (patch) | |
| tree | 226b8f8576bd5e0481bab2938f9111523c27cc09 | |
| parent | 97b4156398ee693dd492f70dfc33e80a93a5faf7 (diff) | |
| download | rust-8070bb828c01c14bd16a6e9afca82c1d1fdff543.tar.gz rust-8070bb828c01c14bd16a6e9afca82c1d1fdff543.zip | |
Regressions ok for miri too
Co-Authored-By: kennytm <kennytm@gmail.com>
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checkregression.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checkregression.py b/src/ci/docker/x86_64-gnu-tools/checkregression.py index c1211579648..f8d9190a066 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] |