Skip to content

Merge branch 'master' into doxygen #9

Merge branch 'master' into doxygen

Merge branch 'master' into doxygen #9

Workflow file for this run

name: Documentation
on:
push:
branches:
- master
- doxygen
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: DenverCoder1/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages
folder: docs/html
config_file: Doxyfile