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

Bump versions to 0.100.0-dev.0 #825

Merged
merged 2 commits into from
Mar 4, 2025

Conversation

ShoyuVanilla
Copy link
Member

Need a new release for rust-lang/rust-analyzer#19196

@ShoyuVanilla
Copy link
Member Author

The Book lint fails with the following:

error: Server returned 403 Forbidden for https://dl.acm.org/citation.cfm?id=868380
   ┌─ bibliography.md:20:1
   │
20 │ ["A proof procedure for the logic of Hereditary Harrop formulas"][pphhf],
   │ ^ Server returned 403 Forbidden for https://dl.acm.org/citation.cfm?id=868380

error: Server returned 403 Forbidden for https://dl.acm.org/citation.cfm?id=651202
   ┌─ bibliography.md:28:1
   │
28 │ ["A new formulation of tabled resolution with delay"][nftrd], by
   │ ^ Server returned 403 Forbidden for https://dl.acm.org/citation.cfm?id=651202

The links are valid but it seems that dl.acm.org blocks the the curl(or other non-browser requests) with cloudflare's "Verify you are human" 🤔

@detrumi
Copy link
Member

detrumi commented Mar 3, 2025

Adding that domain to the [output.linkcheck.http-headers] block in book/book.toml should work to get around that. For some reason adding those accept-encoding headers prevents the 403's.

@ShoyuVanilla
Copy link
Member Author

Adding that domain to the [output.linkcheck.http-headers] block in book/book.toml should work to get around that. For some reason adding those accept-encoding headers prevents the 403's.

Oh, thanks 👍 I'll try it

@ShoyuVanilla ShoyuVanilla force-pushed the bump-versions branch 2 times, most recently from d94e20e to df1f959 Compare March 3, 2025 07:33
@ShoyuVanilla
Copy link
Member Author

Well, unfortunately, it doesn't seem to work 😢
Actually, the real browser also gets 403 code
image

@detrumi
Copy link
Member

detrumi commented Mar 3, 2025

Alternatively you could just exclude the domain from linkcheck (see the docs)

@jackh726 jackh726 merged commit 3bca13c into rust-lang:master Mar 4, 2025
5 checks passed
@ShoyuVanilla ShoyuVanilla deleted the bump-versions branch March 4, 2025 09:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants