[CI] Automatically check for broken links in documentation

Author: Lucas-C

.github/workflows/continuous-integration-workflow.yml

@@ -223,6 +223,10 @@ jobs:
           python -m mkdocs build
           pdoc --html -o public/ fpdf --template-dir docs/pdoc
           scripts/add_pdoc_to_search_index.py
+      - name: Look for broken links
+        uses: JustinBeckwith/linkinator-action@v2
+        with:
+          paths: public/
       - name: Build contributors map 🗺️
         # As build_contributors_html_page.py can hang due to GitHub rate-limiting, we only execute this on master for now
         if: github.ref == 'refs/heads/master'