diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2018-04-02 15:39:04 -0700 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2018-04-02 15:39:04 -0700 |
| commit | 09d0a980d65f87fbfb69a82cc2c2e2b781a2fbbe (patch) | |
| tree | cb1627046491b4ac3a9d48a61fa107d114d1d811 /src/ci/docker | |
| parent | 555366d6d18bbf34c6f0b8773ca1b4ef0da34345 (diff) | |
| download | rust-09d0a980d65f87fbfb69a82cc2c2e2b781a2fbbe.tar.gz rust-09d0a980d65f87fbfb69a82cc2c2e2b781a2fbbe.zip | |
Don't verify miri's build status on beta
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index da89aa9423b..f5b4549075a 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -31,7 +31,6 @@ python2.7 "$X_PY" test --no-fail-fast \ src/doc/rust-by-example \ src/tools/rls \ src/tools/rustfmt \ - src/tools/miri \ src/tools/clippy set -e |