Skip to content

Merge branch 'master' into doxygen #1

Merge branch 'master' into doxygen

Merge branch 'master' into doxygen #1

Workflow file for this run

name: A job to build doxgen document and deploy it on github-pages
on:
push:
branches: [main, master, doxygen]
pull_request:
branches: [main, master]
workflow_dispatch:
jobs:
doxygen-job:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- name: download modern theme
run: |
curl -OL https://raw.githubusercontent.com/jothepro/doxygen-awesome-css/main/doxygen-awesome.css
- uses: mattnotmitt/[email protected]
- name: Deploy pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: "html"