From 87575ba69d98a4babb85803c366dc5aafd53db8d Mon Sep 17 00:00:00 2001 From: germann_e Date: Wed, 4 Jun 2025 10:44:40 +0200 Subject: [PATCH] ADD: mkdocs_build workflow --- .gitea/workflows/mkdocs_build.yml | 35 +++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 .gitea/workflows/mkdocs_build.yml diff --git a/.gitea/workflows/mkdocs_build.yml b/.gitea/workflows/mkdocs_build.yml new file mode 100644 index 0000000000..f84dfbd7f5 --- /dev/null +++ b/.gitea/workflows/mkdocs_build.yml @@ -0,0 +1,35 @@ +name: RSE-PSI Website Scheduler + +on: + workflow_dispatch: + pull_request: + schedule: + - cron: "0 1 * * *" + +jobs: + checkout: + steps: + - name: Checkout + uses: actions/checkout@v4 + + - name: Mkdocs build + run: | + python3 -m venv mkdocs_venv + source mkdocs_venv/bin/activate + pip install -r requirements.txt + mkdocs build -d public + + - 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 + ls -la + cp -r ./public/* . + git add . + git commit -m "Deploy site" + git push -f https://${{secrets.GITHUB_TOKEN}}@gitea.psi.ch/${{ github.repository }}.git gitea-pages