-
Notifications
You must be signed in to change notification settings - Fork 12.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Turn off rustc-dev-guide toolstate for now #71731
Conversation
(rust_highfive has picked a reviewer for you, use r? to override) |
r? @spastorino |
@mark-i-m great. I'm not sure what exactly we need to remove to avoid running toolstate on rustc-dev-guide, but quickly checking the code was wondering about Lines 1532 to 1558 in fd61d06
Line 392 in fd61d06
|
I am unsure if this PR as-is works well enough, let's r? @pietroalbini and cc @kennytm who've done toolstate repo work recently. We'll want to be cautious and try to avoid the problem we hit last time where changes led to no pull request being able to land until we fixed toolstate... |
@spastorino, that code is eventually called from the line I deleted. IIUC this will just leave toolstate in it's current state |
I'd prefer to r? @kennytm if they're not busy, I'm not that familiar with toolstate. |
@bors r+ since we may turn it back on later, i'm ok with leaving the code mentioned in #71731 (comment) around. |
📌 Commit 9e43b00 has been approved by |
…w, 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.
Okay, need to comment out |
@bors r+ |
📌 Commit 837c16b has been approved by |
I was wondering, is there a reason to not remove everything and in case we want to add this back we can just revert the PR?. |
@spastorino Is there something in particular you are concerned about? Why remove everything if we think we might add something back later? |
Rollup of 5 pull requests Successful merges: - rust-lang#70908 (Provide suggestions for type parameters missing bounds for associated types) - rust-lang#71731 (Turn off rustc-dev-guide toolstate for now) - rust-lang#71888 (refactor suggest_traits_to_import) - rust-lang#71918 (Rename methods section) - rust-lang#71950 (Miri validation error handling cleanup) Failed merges: r? @ghost
Nothing in particular, don't worry :). |
rustc-dev-guide is still listed in https://github.com/rust-lang-nursery/rust-toolstate/blob/master/_data/latest.json. Looks like the toolstate was not removed completely? |
@RalfJung, I think it needs to be removed manually. Essentially someone needs to make a PR equivalent to rust-lang-nursery/rust-toolstate#17 for that entry. |
@rust-lang/infra how does one go about removing a toolstate? Is manually editing the JSON really the right way? |
@RalfJung Is this causing problems somehow? I'm personally not 100% we want to completely get rid of some sort of guide toolstate... |
It means that the information at https://rust-lang-nursery.github.io/rust-toolstate/ is misleading / outdated / confusing. |
I guess my question is "confusing to whom?" I understood that nobody else cared about guide toolstate (as it has been outdated/wrong for a long time). |
Confusing to anyone who looks at that table and sees every non-"pass" entry as basically a bug that needs fixing (like me). I mean, that's the entire point of even having that table, if you ask me. |
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.