diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index dc5f6486cb..249a9f8bcc 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -46,7 +46,7 @@ jobs: - name: Build docs run: | cd docs - make -C . html-no-examples + make -C . html-no-examples SPHINXOPTS="-W --keep-going -n" - name: Deploy Devs if: success() && github.ref == 'refs/heads/master' uses: JamesIves/github-pages-deploy-action@v4