Skip to content

Commit 158b2d8

Browse files
authored
Rollup merge of rust-lang#71731 - mark-i-m:guide-toolstate-off-for-now, r=kennytm
Turn off rustc-dev-guide toolstate for now cc @rust-lang/wg-rustc-dev-guide @rust-lang/infra @ehuss When we first added toolstate, the intent was to use toolstate to linkcheck PRs so that we would know which PRs break links in the guide (e.g. by moving some definition). However, these days, we are mostly getting 429 errors (too many requests) from github (not sure when this changed), and every day, there seems to be a spurious failure of some other sort. This is all despite efforts to filter out spurious failures. Getting spurious gh pings is annoying, and we're not actually getting a lot out of this linkcheck beyond what we are getting with our CI on the guide's repo, so I'm proposing to disable this until we can figure out what might be a better path forward.
2 parents fb5e9f2 + 9e43b00 commit 158b2d8

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/ci/docker/x86_64-gnu-tools/checktools.sh

-1
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ python3 "$X_PY" test --no-fail-fast \
1414
src/doc/rust-by-example \
1515
src/doc/embedded-book \
1616
src/doc/edition-guide \
17-
src/doc/rustc-dev-guide \
1817
src/tools/clippy \
1918
src/tools/rls \
2019
src/tools/rustfmt \

0 commit comments

Comments
 (0)