diff options
| author | André Luis Leal Cardoso Junior <andrehjr@gmail.com> | 2019-04-04 13:06:05 -0300 |
|---|---|---|
| committer | André Luis Leal Cardoso Junior <andrehjr@gmail.com> | 2019-07-06 11:05:22 -0300 |
| commit | d8a6ccfb4a1e41978fcf98b8cf03146b8b0264f3 (patch) | |
| tree | f1b1315f293f0d2754c5db20629c6ee80dc755f7 /src/ci/docker/x86_64-gnu-tools | |
| parent | 83877773dac541457aecfca013b375079dfc0946 (diff) | |
| download | rust-d8a6ccfb4a1e41978fcf98b8cf03146b8b0264f3.tar.gz rust-d8a6ccfb4a1e41978fcf98b8cf03146b8b0264f3.zip | |
Track rustc-guide on toolstate
Diffstat (limited to 'src/ci/docker/x86_64-gnu-tools')
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index 978732e3c08..9995d2aac7f 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -88,6 +88,7 @@ status_check() { # these tools are not required for beta to successfully branch check_dispatch $1 nightly miri src/tools/miri check_dispatch $1 nightly embedded-book src/doc/embedded-book + check_dispatch $1 nightly rustc-guide src/doc/rustc-guide } # If this PR is intended to update one of these tools, do not let the build pass |