Skip to content

Commit

Permalink
Track rustc-guide on toolstate
Browse files Browse the repository at this point in the history
  • Loading branch information
andrehjr committed Jul 6, 2019
1 parent 8387777 commit d8a6ccf
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 0 deletions.
1 change: 1 addition & 0 deletions src/ci/docker/x86_64-gnu-tools/checktools.sh
Expand Up @@ -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
Expand Down
2 changes: 2 additions & 0 deletions src/tools/publish_toolstate.py
Expand Up @@ -28,6 +28,7 @@
'@ryankurte @thejpster @therealprof'
),
'edition-guide': '@ehuss @Centril @steveklabnik',
'rustc-guide': '@mark-i-m'
}

REPOS = {
Expand All @@ -41,6 +42,7 @@
'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',
}


Expand Down

0 comments on commit d8a6ccf

Please sign in to comment.