pearl-public/igor-public
2
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix clone directory in gitea deploy-pages
All checks were successful
build and deploy documentation / build-and-deploy (push) Successful in 3s
Details

Browse Source
This commit is contained in:
muntwiler_m
2025-12-22 18:10:52 +01:00
parent f6a189a9eb
commit 5d7bd9992f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitea/workflows/deploy-pages.yaml
View File

@@ -18,7 +18,7 @@ jobs:
- name: checkout
working-directory: /app
run: |
git clone --branch distro --single-branch https://${{ secrets.REPO_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git
git clone --branch distro --single-branch https://${{ secrets.REPO_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git igor-procs
- name: build
working-directory: /app/igor-procs/doc