diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 97032783b5..9dced27587 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -40,7 +40,7 @@ jobs: - name: Report run: | echo "::add-matcher::.github/problem-matchers/sphinx.json" - egrep "WARNING:" build-output.txt | sort | uniq | \ + egrep "WARNING:|Warning:|Error:" build-output.txt | sort | uniq | \ awk 'BEGIN{i=0}{print $0}{i++}END{print "Warnings: "i}' > build-output-warnings.txt cat build-output-warnings.txt exit $(tail -n 1 build-output-warnings.txt | awk '{print $2}')