Skip to content
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

Attempt to workaround unused-deps CI error by updating mdbook to 0.4.20 and applying upstream patch #2360

Merged
merged 2 commits into from
Jul 22, 2022

Conversation

mitchmindtree
Copy link
Contributor

The unused deps CI check has started failing on unrelated PRs recently, e.g. #2359 (comment).

Seeing if updating mdbook addresses nightly-Rust's new borrow-check concerns.

@mitchmindtree mitchmindtree self-assigned this Jul 22, 2022
@mitchmindtree
Copy link
Contributor Author

Hmm doesn't seem to be fixed by updating the mdbook version.

@mitchmindtree
Copy link
Contributor Author

Can confirm building mdbook locally with the latest nightly does indeed fail. I've opened an issue upstream for tracking this here.

@JoshuaBatty JoshuaBatty self-requested a review July 22, 2022 05:42
@mitchmindtree mitchmindtree changed the title Attempt to fix unused-deps CI error by updating mdbook to 0.4.20 Attempt to workaround unused-deps CI error by updating mdbook to 0.4.20 and applying upstream patch Jul 22, 2022
@mitchmindtree mitchmindtree requested review from a team July 22, 2022 05:44
@mitchmindtree mitchmindtree marked this pull request as ready for review July 22, 2022 05:44
Copy link
Contributor

@otrho otrho left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice work!

@mitchmindtree
Copy link
Contributor Author

OK, I worked out a fix upstream, see here rust-lang/mdBook#1861.

This PR applies the above mdbook patch to work around this rustc nightly breakage.

I've opened an issue at the rust repo to keep track rust-lang/rust#99591.

Once we land this, I'll open an issue about removing the patch so we don't forget.

@otrho otrho requested a review from a team July 22, 2022 05:49
@mitchmindtree mitchmindtree merged commit 6d3cbac into master Jul 22, 2022
@mitchmindtree mitchmindtree deleted the mitchmindtree/fix-unused-deps-ci-error branch July 22, 2022 05:53
@mitchmindtree mitchmindtree added bug Something isn't working ci P: critical Should be looked at before anything else labels Jul 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working ci P: critical Should be looked at before anything else
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants