From 04761a059a6e3684b47debd550f1eba2fd6208f6 Mon Sep 17 00:00:00 2001
From: MoritzWeber0 <kontakt@moritz-weber.net>
Date: Sun, 12 Jul 2026 11:58:12 +0200
Subject: [PATCH] ci: Add unrendered footnote detection

---
 .github/workflows/pullrequest.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

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