Skip to content

Commit

Permalink
add back check for update prs
Browse files Browse the repository at this point in the history
  • Loading branch information
mark-i-m committed Jul 23, 2019
1 parent 82d1841 commit 11a3b74
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/ci/docker/x86_64-gnu-tools/checktools.sh
Expand Up @@ -97,6 +97,7 @@ status_check() {
# exempts them from that.
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

0 comments on commit 11a3b74

Please sign in to comment.