Also build documentation in nix-based CI

colis-anr · May 11, 2023 · 58a0085 · 58a0085
1 parent dcac78b
commit 58a0085
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -308,6 +308,10 @@ jobs:
         run: |
           nix develop .#${{ matrix.package }} --command make
 
+      - name: Build documentation in development Shell
+        run: |
+          nix develop .#${{ matrix.package }} --command make doc
+
       - name: Run tests in development Shell
         run: |
           nix develop .#${{ matrix.package }} --command make check