diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-05-06 22:36:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-06 22:36:45 +0200 |
| commit | 7fc579ff5baae024f22d9c196a22e17098832425 (patch) | |
| tree | f395b99d7742d0395a51ea3890d78a4b1f7b7a57 /library/std/src/sys/unix/stack_overflow.rs | |
| parent | ce14d6db5a7a7896d2fc7713a482cc3b810b9102 (diff) | |
| parent | 837c16ba2ac8931b821f2fcd0f8549a46c88b342 (diff) | |
| download | rust-7fc579ff5baae024f22d9c196a22e17098832425.tar.gz rust-7fc579ff5baae024f22d9c196a22e17098832425.zip | |
Rollup merge of #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.
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions