Controls-docs/.gitea/workflows/deploy-pages.yml

name: Build and Deploy Documentation

on:
  push:
    branches:
      - master
  workflow_dispatch:

jobs:
  build-and-deploy:
    runs-on: ubuntu-latest
    container:
      image: gitea.psi.ch/images/alpine-zensical
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4

      - name: Build page
        run: |
            set +x
            sed -i 's|repo_url[[:space:]]*=[[:space:]]*".*"|repo_url = "${{ github.server_url }}/${{ github.repository }}"|' zensical.toml
            /opt/python-env/bin/zensical --version
            # As long as we use ages old zensical version 0.0.11,
            # error return does not work. 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: |
          git config --global user.name "Gitea Actions"
          git config --global user.email "actions@gitea.local"

      - name: Push to gitea-pages branch
        run: |
          git checkout --orphan gitea-pages
          git reset --hard
          mv site/* .
          git add .
          git commit -m "Update site - $(date)"
          REPO_URL=$(echo "${{ github.server_url }}/${{ github.repository }}.git" | sed 's|https://||')
          git push -f https://${{ secrets.GITHUB_TOKEN }}@$REPO_URL gitea-pages
          echo "Your page shoule be available now at"
          echo "https://${{ github.repository }}.pages.psi.ch"