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

This commit is contained in:
2026-06-29 14:11:34 +02:00
parent ee77a28819
commit c4b7375773
+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}