docs: exclude sourceforge URLs from linkcheck.

whitequark · whitequark · commit 4e1ac19a6c09 · 2025-07-18T21:00:48.000Z
diff --git a/docs/conf.py b/docs/conf.py
@@ -68,6 +68,8 @@
     r"^http://127\.0\.0\.1:8000$",
     # Picked up automatically by ReST and doesn't have an index.
     r"^https://amaranth-lang\.org/schema/$",
+    # Rejects requests from GHA infra.
+    r"^https://.+\.sourceforge\.net/"
 ]
 
 linkcheck_anchors_ignore_for_url = [

Original file line number	Diff line number	Diff line change
`@@ -68,6 +68,8 @@`
`68`	`68`	`r"^http://127\.0\.0\.1:8000$",`
`69`	`69`	`# Picked up automatically by ReST and doesn't have an index.`
`70`	`70`	`r"^https://amaranth-lang\.org/schema/$",`
	`71`	`+ # Rejects requests from GHA infra.`
	`72`	`+ r"^https://.+\.sourceforge\.net/"`
`71`	`73`	`]`
`72`	`74`
`73`	`75`	`linkcheck_anchors_ignore_for_url = [`