Skip to content

1.1.0

1.1.0 #37

name: Build documentation
on: [pull_request, push]
jobs:
docs:
runs-on: ubuntu-latest
env:
GITHUB_PAT: ${{ secrets.GITHUB_TOKEN }}
steps:
- uses: actions/[email protected]
- run: |
sudo apt install doxygen graphviz -y
- run: |
cd doc/
python gen_mainpage.py
doxygen
- run: |
cd doc/html
git init
touch .nojekyll
git add -A
git config --local user.email "[email protected]"
git config --local user.name "GitHub Action"
git commit -m 'deploy'
- uses: ad-m/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages
force: true
directory: ./doc/html