diff options
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 1 | ||||
| -rwxr-xr-x | src/tools/publish_toolstate.py | 2 |
2 files changed, 3 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 diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index d5dff1dcae0..3f876b04fbe 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -28,6 +28,7 @@ MAINTAINERS = { '@ryankurte @thejpster @therealprof' ), 'edition-guide': '@ehuss @Centril @steveklabnik', + 'rustc-guide': '@mark-i-m' } REPOS = { @@ -41,6 +42,7 @@ REPOS = { 'rust-by-example': 'https://github.com/rust-lang/rust-by-example', 'embedded-book': 'https://github.com/rust-embedded/book', 'edition-guide': 'https://github.com/rust-lang-nursery/edition-guide', + 'rustc-guide': 'https://github.com/rust-lang/rustc-guide', } |