Some checks failed
build and deploy documentation / build-and-deploy (push) Failing after 1s
47 lines
1.3 KiB
YAML
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
|
|
|