From 475bb6a9f7c9183cb0dd8bc33ece68f5a05e8770 Mon Sep 17 00:00:00 2001 From: Andreas Suter Date: Tue, 2 Sep 2025 09:10:35 +0200 Subject: [PATCH] changed copy path for pages. --- .gitea/workflows/deploy-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitea/workflows/deploy-pages.yml b/.gitea/workflows/deploy-pages.yml index fe92c2ff2..520a5acca 100644 --- a/.gitea/workflows/deploy-pages.yml +++ b/.gitea/workflows/deploy-pages.yml @@ -42,7 +42,7 @@ jobs: run: | git checkout --orphan gitea-pages git reset --hard - cp -r ./technical/html/* . + cp -r ./doc/technical/html/* . git add . git commit -m "Deploy site" git push -f https://${{secrets.GITHUB_TOKEN}}@gitea.psi.ch/${{ github.repository }}.git gitea-pages