Skip to content

Merge branch 'dev' into main #8

Merge branch 'dev' into main

Merge branch 'dev' into main #8

name: Doxygen GitHub Pages Deploy Action
on:
push:
branches:
- main
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: DenverCoder1/doxygen-github-pages-action@v1.3.0
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
folder: doxy_docs/html