deploy documentation on gitea pages
Some checks failed
build and deploy documentation / build-and-deploy (push) Failing after 1s

This commit is contained in:
2025-12-22 18:06:52 +01:00
parent 70207096d5
commit f6a189a9eb

View File

@@ -18,7 +18,7 @@ jobs:
- name: checkout - name: checkout
working-directory: /app working-directory: /app
run: | run: |
git clone --branch master --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
- name: build - name: build
working-directory: /app/igor-procs/doc working-directory: /app/igor-procs/doc