Skip to content

Merge branch 'master' of https://github.com/ARC-OPT/wbc #244

Merge branch 'master' of https://github.com/ARC-OPT/wbc

Merge branch 'master' of https://github.com/ARC-OPT/wbc #244

Workflow file for this run

name: Doxygen Action
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
generate_doc:
runs-on: ubuntu-latest
steps:
# Check out repository under $GITHUB_WORKSPACE
- uses: actions/checkout@v2
- name: Doxygen Action
uses: mattnotmitt/[email protected]
with:
# Path to Doxyfile
doxyfile-path: "./Doxyfile" # default is ./Doxyfile
# Working directory
working-directory: "." # default is .
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./doc