diff options
| author | Mark Mansi <markm@cs.wisc.edu> | 2019-07-18 10:24:20 -0500 |
|---|---|---|
| committer | Mark Mansi <markm@cs.wisc.edu> | 2019-07-18 10:24:20 -0500 |
| commit | 8940a27437f4243a27ff4def2de2590e901973b0 (patch) | |
| tree | 2a4494071794825de2ee8c0c0fd4460ad4824aa2 | |
| parent | 17c4084ebac2f5b4bd8c9b3900f492420844f3ca (diff) | |
| download | rust-8940a27437f4243a27ff4def2de2590e901973b0.tar.gz rust-8940a27437f4243a27ff4def2de2590e901973b0.zip | |
embedded-book failures don't block beta
| -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 6bfdc9e8a14..081beb932b2 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 do not cause failure. -REGRESSION_OK = ["rustc-guide", "miri"] +REGRESSION_OK = ["rustc-guide", "miri", "embedded-book"] if __name__ == '__main__': os_name = sys.argv[1] |