diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 441fd080..c2e445b3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -38,4 +38,5 @@ jobs:
       run: |
         # -W is too noisy as it treats all warnings as errors and we have a lot of warnings
         # SPHINXOPTS='-W --keep-going' make html
-        make html 2>&1 | grep -E "ERROR|CRITICAL"
+        make html 2>&1 > html.log
+        grep -E "ERROR|CRITICAL" html.log