ci: Test build docs

YosysHQ · Oct 7, 2024 · 33930e4 · 33930e4
1 parent edf29e7
commit 33930e4
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml
@@ -189,3 +189,8 @@ jobs:
         shell: bash
         run: |
           make -C docs test -j${{ env.procs }}
+
+      - name: Test build docs
+        shell: bash
+        run: |
+          make -C docs -j${{ env.procs }} TARGETS= EXTRA_TARGETS=