diff --git a/.github/workflows/pullrequest.yaml b/.github/workflows/pullrequest.yaml index bc6b3ad7a..e475d82c3 100644 --- a/.github/workflows/pullrequest.yaml +++ b/.github/workflows/pullrequest.yaml @@ -64,3 +64,9 @@ jobs: --baseURL "${{ steps.pages.outputs.base_url }}/" - name: Initialize search index run: npx -y pagefind --site public + - name: Check for unrendered footnotes + run: | + if grep -rnEo '\[\^[0-9]+\]' public; then + echo "FAIL: Unrendered footnotes found. See lines above." >&2 + exit 1 + fi