Show zensical errors in workflow status
Build and Deploy Documentation / build-and-deploy (push) Successful in 4s

Unfortunately the build workflow uses an ages old zensical version
which does not return an error status if redering fails.
Instead now generate an error status if a line starting with
"Error:" is found in the zensical message output.
This commit is contained in:
2026-06-29 14:24:10 +02:00
parent ee77a28819
commit fe8b3caa9e
+9 -1
View File
@@ -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: |
@@ -35,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}