Skip to content

Set bot name to JARVIS #59

Set bot name to JARVIS

Set bot name to JARVIS #59

name: Doxygen GitHub Pages Deploy Action
permissions:
contents: write
on:
push:
branches:
- master
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: DenverCoder1/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages
folder: docs/_build/html
config_file: Doxyfile.in