diff options
| author | Daniël van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-04-13 12:20:31 +0200 |
|---|---|---|
| committer | Daniël van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-04-13 12:35:14 +0200 |
| commit | e123739e8c33bf4b7275b2fd7e8ee1593304a3cc (patch) | |
| tree | 9dfbb3ee45a1552f0bd592f46cd36cfc7a725c86 /.github | |
| parent | 897ea1d8fa389d96593feef4bdd923f4edbaff13 (diff) | |
| download | pylint-git-e123739e8c33bf4b7275b2fd7e8ee1593304a3cc.tar.gz | |
Add CI check for building of documentation and linkcheck
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/checks.yaml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/.github/workflows/checks.yaml b/.github/workflows/checks.yaml index a50503231..cef113bf3 100644 --- a/.github/workflows/checks.yaml +++ b/.github/workflows/checks.yaml @@ -9,7 +9,7 @@ on: env: # Also change CACHE_VERSION in the other workflows - CACHE_VERSION: 5 + CACHE_VERSION: 6 DEFAULT_PYTHON: 3.8 PRE_COMMIT_CACHE: ~/.cache/pre-commit @@ -58,6 +58,7 @@ jobs: . venv/bin/activate python -m pip install -U pip setuptools wheel pip install -U -r requirements_test.txt + pip install -U -r doc/requirements.txt - name: Generate pre-commit restore key id: generate-pre-commit-key run: >- @@ -155,7 +156,7 @@ jobs: documentation: name: documentation runs-on: ubuntu-latest - timeout-minutes: 5 + timeout-minutes: 10 needs: prepare-base steps: - name: Check out code from GitHub @@ -182,3 +183,8 @@ jobs: run: | . venv/bin/activate pytest doc/test_messages_documentation.py + - name: Check documentation build and links + run: | + . venv/bin/activate + cd doc + make html |