diff options
| author | kennytm <kennytm@gmail.com> | 2019-03-20 04:34:02 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-20 04:34:02 +0800 |
| commit | 5d8a30d270e3c667668b63d3b2ecf3ed4b39dce2 (patch) | |
| tree | 0f4396b34794a30b459d7766cd614e794a366971 /src/ci | |
| parent | b3490cf418cab2a3c2ab9b79f05c36cac8d5de7c (diff) | |
| parent | d6f51006cd47ca3f1ccacc4e0faa345877653b81 (diff) | |
| download | rust-5d8a30d270e3c667668b63d3b2ecf3ed4b39dce2.tar.gz rust-5d8a30d270e3c667668b63d3b2ecf3ed4b39dce2.zip | |
Rollup merge of #59038 - kennytm:track-embedded-book, r=oli-obk
Track embedded-book in the toolstate The embedded book was tested in the tools job but the test result was never published. This PR adds maintainer information of embedded-book. This PR also requires the next update to embedded-book to pass the all tests, currently its state is test-fail. rust-lang-nursery/rust-toolstate#10 should be merged before this PR.
Diffstat (limited to 'src/ci')
| -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 3343716419f..97e6ee25ec7 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -78,6 +78,7 @@ status_check() { check_dispatch $1 beta clippy-driver src/tools/clippy # 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 } # If this PR is intended to update one of these tools, do not let the build pass |