From 34369f65ca49633079455b67a68c1d2f60f0cbe4 Mon Sep 17 00:00:00 2001 From: Pablo Deymonnaz Date: Wed, 9 Sep 2026 13:06:38 -0300 Subject: [PATCH 1/3] Exclude x.com and twitter.com from the docs external link check x.com answers the lychee bot with 403 Forbidden intermittently, so the Link Check job failed on PRs that never touched docs/introduction.md (#611 hit it on https://x.com/class_lambda while the same job was green on main days earlier). The links are valid in a browser; this is the same anti-bot behavior the job already tolerates for eprint.iacr.org, so it gets the same exclusion, plus twitter.com, which redirects there. Both patterns are anchored to the URL origin so a host that merely ends in "x.com" is still checked. --- .github/workflows/pr-main_mdbook.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pr-main_mdbook.yml b/.github/workflows/pr-main_mdbook.yml index 52966962..07f723e0 100644 --- a/.github/workflows/pr-main_mdbook.yml +++ b/.github/workflows/pr-main_mdbook.yml @@ -78,12 +78,17 @@ jobs: with: # eprint.iacr.org returns 403 to non-browser User-Agents (anti-bot # protection on the IACR preprint server); the URLs themselves are - # valid in a real browser. + # valid in a real browser. x.com (and twitter.com, which redirects + # to it) does the same intermittently, so the project's social links + # failed unrelated PRs. Both are anchored to the URL origin so hosts + # merely ending in "x.com" are still checked. args: >- --no-progress --exclude 'localhost' --exclude '127\.0\.0\.1' --exclude 'eprint\.iacr\.org' + --exclude '^https?://(www\.)?x\.com' + --exclude '^https?://(www\.)?twitter\.com' docs/ fail: true From 2f5c22f5e23ca02276489c4c0dc2e303c7e9da33 Mon Sep 17 00:00:00 2001 From: Pablo Deymonnaz Date: Wed, 9 Sep 2026 16:44:22 -0300 Subject: [PATCH 2/3] Update .github/workflows/pr-main_mdbook.yml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Tomás Grüner <47506558+MegaRedHand@users.noreply.github.com> --- .github/workflows/pr-main_mdbook.yml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/.github/workflows/pr-main_mdbook.yml b/.github/workflows/pr-main_mdbook.yml index 07f723e0..a8d0df85 100644 --- a/.github/workflows/pr-main_mdbook.yml +++ b/.github/workflows/pr-main_mdbook.yml @@ -78,10 +78,7 @@ jobs: with: # eprint.iacr.org returns 403 to non-browser User-Agents (anti-bot # protection on the IACR preprint server); the URLs themselves are - # valid in a real browser. x.com (and twitter.com, which redirects - # to it) does the same intermittently, so the project's social links - # failed unrelated PRs. Both are anchored to the URL origin so hosts - # merely ending in "x.com" are still checked. + # valid in a real browser. Same for x.com. args: >- --no-progress --exclude 'localhost' From af14322f4a6a9b9b8a5afc79916e91fe428364fe Mon Sep 17 00:00:00 2001 From: Pablo Deymonnaz Date: Wed, 9 Sep 2026 16:47:34 -0300 Subject: [PATCH 3/3] Update .github/workflows/pr-main_mdbook.yml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Tomás Grüner <47506558+MegaRedHand@users.noreply.github.com> --- .github/workflows/pr-main_mdbook.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/pr-main_mdbook.yml b/.github/workflows/pr-main_mdbook.yml index a8d0df85..5fa48075 100644 --- a/.github/workflows/pr-main_mdbook.yml +++ b/.github/workflows/pr-main_mdbook.yml @@ -85,7 +85,6 @@ jobs: --exclude '127\.0\.0\.1' --exclude 'eprint\.iacr\.org' --exclude '^https?://(www\.)?x\.com' - --exclude '^https?://(www\.)?twitter\.com' docs/ fail: true