diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml index e5aed6af3..41e197424 100644 --- 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=