From 8bad127f62cf2fd2f0d0ae16f2df47fdd0d069f8 Mon Sep 17 00:00:00 2001 From: Jon Rood Date: Fri, 27 Sep 2024 13:25:45 -0600 Subject: [PATCH] Catch more docs warnings (#1263) --- .github/workflows/docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index f786b413c0..98e7c9f42c 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -44,7 +44,7 @@ jobs: - name: Report run: | echo "::add-matcher::.github/problem-matchers/sphinx.json" - egrep "WARNING:" build-output.txt | sort | uniq | \ + egrep "WARNING:|Warning:|ERROR:|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}')