diff options
| author | Eric Huss <eric@huss.org> | 2019-05-15 15:56:47 -0700 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2019-05-15 15:56:47 -0700 |
| commit | 66a3ce78b44faf317c6b3c69fc66b6a75f99743d (patch) | |
| tree | 3857b5e1f610cdda8d00d9504a210a2a2c5b19bc /src/ci/docker | |
| parent | 7158ed9cbea805adf8161d3deaadba2f85b7692e (diff) | |
| download | rust-66a3ce78b44faf317c6b3c69fc66b6a75f99743d.tar.gz rust-66a3ce78b44faf317c6b3c69fc66b6a75f99743d.zip | |
Update books
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index af0198705a2..a0fe307cffc 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -74,7 +74,9 @@ status_check() { check_dispatch $1 beta nomicon src/doc/nomicon check_dispatch $1 beta reference src/doc/reference check_dispatch $1 beta rust-by-example src/doc/rust-by-example - check_dispatch $1 beta edition-guide src/doc/edition-guide + # Temporarily disabled until + # https://github.com/rust-lang/rust/issues/60459 is fixed. + # check_dispatch $1 beta edition-guide src/doc/edition-guide check_dispatch $1 beta rls src/tools/rls check_dispatch $1 beta rustfmt src/tools/rustfmt check_dispatch $1 beta clippy-driver src/tools/clippy |