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