diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0ff06f99..441fd080 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -36,4 +36,6 @@ jobs: - name: Build HTML run: | - SPHINXOPTS='-W --keep-going' make html + # -W is too noisy as it treats all warnings as errors and we have a lot of warnings + # SPHINXOPTS='-W --keep-going' make html + make html 2>&1 | grep -E "ERROR|CRITICAL"