diff --git a/.github/workflows/pr-main_mdbook.yml b/.github/workflows/pr-main_mdbook.yml index 52966962..5fa48075 100644 --- a/.github/workflows/pr-main_mdbook.yml +++ b/.github/workflows/pr-main_mdbook.yml @@ -78,12 +78,13 @@ 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. Same for x.com. args: >- --no-progress --exclude 'localhost' --exclude '127\.0\.0\.1' --exclude 'eprint\.iacr\.org' + --exclude '^https?://(www\.)?x\.com' docs/ fail: true