diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c2e445b3..0b45cf43 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -38,5 +38,6 @@ jobs: run: | # -W is too noisy as it treats all warnings as errors and we have a lot of warnings # SPHINXOPTS='-W --keep-going' make html + cd docs make html 2>&1 > html.log grep -E "ERROR|CRITICAL" html.log