diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index cf7413e..5c1a28e 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -44,6 +44,7 @@ jobs:
       run: |
         pip install sphinx>=1.8 sphinx_rtd_theme
         sphinx-build -M html docs docs/build -qW
+        sphinx-build -M html docs docs/build -Eqn -b coverage
         if [[ -s docs/build/html/index.html ]]
         then
           echo