diff options
author | Gereon Kremer <gkremer@stanford.edu> | 2021-12-02 11:48:21 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-02 19:48:21 +0000 |
commit | 596f15650eecfa9bf46bc2196367e2adaebe3333 (patch) | |
tree | 3af7c6430e6df0292a9d60941d4fb695dbda54ca | |
parent | 4270c3d6b8fa45e66a79c928267a0757954d8004 (diff) |
Check docs for broken links before uploading (#7729)
We currently have a few broken links in our documentation. This PR make our CI check for broken links before uploading it. Note that it will not fail any job, so we still need to check the output occasionally for now.
-rw-r--r-- | .github/workflows/docs_upload.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml index 98eb24943..937496d0a 100644 --- a/.github/workflows/docs_upload.yml +++ b/.github/workflows/docs_upload.yml @@ -53,6 +53,12 @@ jobs: - name: Unpack artifact run: unzip download.zip -d docs-new/ + - name: Check for broken links + continue-on-error: true + run: | + python3 -m pip install linkchecker + linkchecker --check-extern docs-new/index.html + - name: Setup Context run: | HASH=${{ github.event.workflow_run.head_commit.id }} |