Skip to content

Merge branch 'develop' into 'main' #38

Merge branch 'develop' into 'main'

Merge branch 'develop' into 'main' #38

Workflow file for this run

name: Doxygen Action
on:
push:
branches: [ main ]
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: 'false'
- run: python3 ci/readme_filter.py
- name: Doxygen Action
uses: mattnotmitt/[email protected]
with:
doxyfile-path: "./Doxyfile"
working-directory: "."
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.PERSONAL_TOKEN }}
publish_dir: ./docs/html