docs: fix link rot.

This commit is contained in:
Catherine 2024-02-15 19:35:21 +00:00
parent e3324e1456
commit 52842ee524
8 changed files with 38 additions and 13 deletions

View file

@ -69,8 +69,6 @@ jobs:
git fetch --tags https://github.com/amaranth-lang/amaranth.git
- name: Set up PDM
uses: pdm-project/setup-pdm@v4
with:
python-version: '3.12'
- name: Install dependencies
run: |
pdm install --dev
@ -83,6 +81,20 @@ jobs:
name: docs
path: docs/_build
check-links:
runs-on: ubuntu-latest
steps:
- name: Check out source code
uses: actions/checkout@v4
- name: Set up PDM
uses: pdm-project/setup-pdm@v4
- name: Install dependencies
run: |
pdm install --dev
- name: Check links in documentation
run: |
pdm run document-linkcheck
required: # group all required workflows into one to avoid reconfiguring this in Actions settings
needs:
- test