diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ce4a9f2b..082d1eee 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -40,4 +40,5 @@ jobs:
         # SPHINXOPTS='-W --keep-going' make html
         cd docs
         make html >html.log 2>&1
-        grep -E "ERROR|CRITICAL" html.log
+        # set exit code if found
+        grep -E "ERROR|CRITICAL" html.log && false