Merge pull request #4524 from hugovk/gha-doccheck

GHA: Check docs
This commit is contained in:
Andrew Murray 2020-04-10 11:37:00 +10:00 committed by GitHub
commit 47b8cea334
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -95,6 +95,12 @@ jobs:
name: errors
path: Tests/errors
- name: Docs
if: startsWith(matrix.os, 'ubuntu') && matrix.python-version == 3.8
run: |
pip install sphinx-rtd-theme
make doccheck
- name: After success
if: success()
run: |