diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 3133fa02..0bd55d96 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -36,11 +36,16 @@ jobs:
         working-directory: ${{runner.workspace}}/build-docs
         run:  |
            echo "::add-matcher::.github/problem-matchers/sphinx.json"
-           cmake --build ${{runner.workspace}}/build-docs
-           echo "::remove-matcher owner=sphinx-problem-matcher-loose-no-severity::"
-           echo "::remove-matcher owner=sphinx-problem-matcher-loose::"
-           echo "::remove-matcher owner=sphinx-problem-matcher::"
+           cmake --build ${{runner.workspace}}/build-docs 2>&1 | tee -a build-output.txt
            touch ${{runner.workspace}}/build-docs/html/manual/html/.nojekyll
+      - name: Report
+        working-directory: ${{runner.workspace}}/build-docs
+        run: |
+          echo "::add-matcher::.github/problem-matchers/sphinx.json"
+          egrep "WARNING:|Warning:|warning:|ERROR:|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}')
       - name: Deploy
         if: github.event_name == 'push' && github.ref == 'refs/heads/development'
         uses: JamesIves/github-pages-deploy-action@releases/v4