Use token for GH link checking

Author: aidanfnv

.github/workflows/sphinx-build-test.yml

@@ -36,3 +36,5 @@ jobs:
           cd docs
           # Run linkcheck builder to find broken links
           python -m sphinx -b linkcheck . _build/linkcheck
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

docs/conf.py

@@ -182,10 +182,15 @@ def setup(app):
     r"http://libLLVM\.so.*", 
     r"http://slang\.so.*",
 ]
-linkcheck_rate_limit_timeout = 30.0
 linkcheck_report_timeouts_as_broken = True
-linkcheck_retries = 3
-linkcheck_workers = 1
+
+# Configure request headers for authentication
+linkcheck_request_headers = {
+    "https://github.com/*": {
+        "Authorization": f"token {os.environ.get('GITHUB_TOKEN', '')}",
+        "User-Agent": "Slang-Documentation-Linkcheck/1.0"
+    }
+}
 
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output