From c87dfb1a2a2d30e3bb86d902c714ff65e17c0e2e Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@k1024.org>
Date: Wed, 12 Oct 2022 21:41:48 +0300
Subject: [PATCH] CI: Run doc builds too

This would better live in a separate CI run, since we don't care so much about all OS builds, but let's how much it adds.
---
 .github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 95d6665..5887f7d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -57,6 +57,7 @@ jobs:
         run: |
           pip install pytest
           pip install codecov
+          pip install sphinx
 
       - name: Install typing for old Python
         run: pip install typing
@@ -94,3 +95,6 @@ jobs:
         with:
           name: code-coverage-${{ matrix.os }}-${{ matrix.python-version }}
           path: codecov-report.txt
+
+      - name: Build documentation
+        run: make doc
-- 
2.39.5