From 11a3b742d8dfae9c9d4858adc5417918e13d84a5 Mon Sep 17 00:00:00 2001 From: Mark Mansi Date: Tue, 23 Jul 2019 15:33:41 -0500 Subject: [PATCH] add back check for update prs --- src/ci/docker/x86_64-gnu-tools/checktools.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index e0de51e2cb0..04fbe728deb 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -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 -- 2.44.0