From ccdbaf50e48619dee0401ec68977dd6376e16d20 2021-11-18 22:34:36
From: Nikita Kniazev <nok.raven@gmail.com>
Date: 2021-11-18 22:34:36
Subject: [PATCH] CI: Collect coverage from docs build

---

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 38b6ab9..de9b70a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -18,9 +18,18 @@ jobs:
         sudo apt-get install graphviz
     - name: Install Python dependencies
       run: |
-        python -m pip install --upgrade pip setuptools
+        python -m pip install --upgrade pip setuptools coverage
         pip install -r docs/requirements.txt
     - name: Build docs
       run: |
         python tools/fixup_whats_new_pr.py
-        make -C docs/ html SPHINXOPTS="-W"
+        make -C docs/ html SPHINXOPTS="-W" \
+          PYTHON="coverage run -a" \
+          SPHINXBUILD="coverage run -a -m sphinx.cmd.build"
+    - name: Generate coverage xml
+      run: |
+        coverage combine `find . -name .coverage\*` && coverage xml
+    - name: Upload coverage to Codecov
+      uses: codecov/codecov-action@v2
+      with:
+        name: Docs