Files
igor-public/.gitea/workflows/deploy-pages.yaml
matthias muntwiler f6a189a9eb
Some checks failed
build and deploy documentation / build-and-deploy (push) Failing after 1s
deploy documentation on gitea pages
2025-12-22 18:06:52 +01:00

47 lines
1.3 KiB
YAML

name: build and deploy documentation
on:
push:
branches:
- distro
jobs:
build-and-deploy:
runs-on: ubuntu-latest
container:
image: gitea.psi.ch/pearl/docs
credentials:
username: ${{ gitea.actor }}
password: ${{ secrets.package_token }}
steps:
- name: checkout
working-directory: /app
run: |
git clone --branch distro --single-branch https://${{ secrets.REPO_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git
- name: build
working-directory: /app/igor-procs/doc
run: |
REVISION=$(git describe --always --tags --dirty --long || date +"%F %T %z")
export REVISION
doxygen config.dox
mv html/ /app/
- name: configure git
working-directory: /app/igor-procs
run: |
git config --global user.name "Gitea Actions"
git config --global user.email "actions@gitea.local"
- name: push to gitea-pages
working-directory: /app/igor-procs
run: |
git checkout --orphan gitea-pages
git reset --hard
cp -r /app/html/* .
git add .
git commit -m "Deploy documentation to gitea"
git push -f https://${{ secrets.REPO_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git gitea-pages