From 2b2d8250067604a211ae1409237b44243c8c5b32 Mon Sep 17 00:00:00 2001 From: Jon Rood Date: Fri, 27 Sep 2024 11:31:20 -0600 Subject: [PATCH] Add grep. --- .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 9dced2758..ebe025a1e 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:|Warning:|Error:" 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}')