diff --git a/.github/workflows/docs_update.yml b/.github/workflows/docs_update.yml index fbdb711354..0174d15281 100644 --- a/.github/workflows/docs_update.yml +++ b/.github/workflows/docs_update.yml @@ -30,6 +30,13 @@ jobs: working-directory: docs/doxygen run: | ./regen.sh php + if [[ -s doxygen.log ]]; then + echo '*** There were warnings during docs generation: ***' + echo '-----------------------------------------------------------' + cat doxygen.log + echo '-----------------------------------------------------------' + exit 1 + fi - name: Upload if: github.ref == 'refs/heads/master'