From 15e177e789988b279c9628bfbe7b63c38f9da5ef Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Mon, 29 Jun 2026 11:05:25 +0200
Subject: [PATCH 1/2] Show zensical errors in workflow status

Unfortunately the build workflow uses an ages old zensical version
which does not return an error status if rendering fails.
Instead now generate an error status if a line starting with
"Error:" is found in the zensical message output.
---
 .gitea/workflows/deploy-pages.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitea/workflows/deploy-pages.yml b/.gitea/workflows/deploy-pages.yml
index 50428b52..669bdca1 100644
--- a/.gitea/workflows/deploy-pages.yml
+++ b/.gitea/workflows/deploy-pages.yml
@@ -18,7 +18,11 @@ jobs:
       - name: Build page
         run: |
             sed -i 's|repo_url[[:space:]]*=[[:space:]]*".*"|repo_url = "${{ github.server_url }}/${{ github.repository }}"|' zensical.toml
-            /opt/python-env/bin/zensical build
+            echo "Zensical version: `/opt/python-env/bin/zensical --version`"
+            # As long as we use ages old Zensical version 0.0.11,
+            # error status return does not work. Let's do our own.
+            #/opt/python-env/bin/zensical build
+            ! /opt/python-env/bin/zensical build 2>&1 | tee /dev/stderr | grep -q '^Error:'
       
       - name: Configure Git
         run: |
-- 
2.52.0


From 0d76b51cffbebb4304c20ffe53c487a6c9b8796c Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Mon, 29 Jun 2026 14:34:03 +0200
Subject: [PATCH 2/2] print location of rendered page in workflow output

---
 .gitea/workflows/deploy-pages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitea/workflows/deploy-pages.yml b/.gitea/workflows/deploy-pages.yml
index 669bdca1..a971647f 100644
--- a/.gitea/workflows/deploy-pages.yml
+++ b/.gitea/workflows/deploy-pages.yml
@@ -39,3 +39,7 @@ jobs:
           REPO_URL=$(echo "${{ github.server_url }}/${{ github.repository }}.git" | sed 's|https://||')
           git push -f https://${{ secrets.GITHUB_TOKEN }}@$REPO_URL gitea-pages
 
+          NAMESPACE=$(echo "${{ github.repository }}" | sed 's|/.*||')
+          REPO=$(echo "${{ github.repository }}" | sed -e 's|^[^/]*/|/|' -e 's|/gitea-pages||')
+          echo Your page is now at https://${NAMESPACE}.pages.psi.ch${REPO}
+
-- 
2.52.0