From da751ce14df52592bacf7778937f0cf92c7b4b7b Mon Sep 17 00:00:00 2001
From: Ariadne Conill <ariadne@dereferenced.org>
Date: Sat, 24 Oct 2020 08:42:26 -0600
Subject: [PATCH] CI: enable CI tests for documentation

---
 .github/workflows/build.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c834aa3..3ac4b90 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -18,5 +18,8 @@ jobs:
       - name: Build
         run: make
 
+      - name: Build documentation
+        run: make docs
+
       - name: Run tests
         run: make check