diff --git a/.github/workflows/generate-docs.yml b/.github/workflows/generate-docs.yml index 73afe681db..f3480f4ac4 100644 --- a/.github/workflows/generate-docs.yml +++ b/.github/workflows/generate-docs.yml @@ -84,6 +84,9 @@ jobs: - name: Build run: cd build && make -j $(nproc) + - name: Check Spicy docs + run: cd doc && make check-spicy-docs + - name: Generate Docs run: | git config --global user.name zeek-bot