ignore auto-generated sphinx urls

sagemath · Nov 1, 2023 · e010a30 · e010a30
1 parent 0d1d4f2
commit e010a30
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -39,7 +39,8 @@ jobs:
           sleep 1
           # We ignore _modules since sphinx puts all modules in the module
           # overview but does not generate pages for .pyx modules.
-          linkchecker --check-extern --ignore-url=_modules/ http://localhost:8880
+          # We also ignore a url that is generated by sphinx itself (version 7.2.6).
+          linkchecker --check-extern --ignore-url='_modules/|https://www.sphinx-doc.org/' http://localhost:8880
       - uses: JamesIves/github-pages-deploy-action@3.7.1
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}