Skip to content

chore(deps): update auto merge #247

chore(deps): update auto merge

chore(deps): update auto merge #247

Workflow file for this run

name: 🗎 GitHub Pages
on:
push:
branches:
- main
pull_request:
jobs:
deploy:
runs-on: ubuntu-latest
permissions:
contents: write
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- name: Checkout repository
uses: actions/[email protected]
- name: Doxygen
uses: mattnotmitt/[email protected]
with:
doxyfile-path: 'docs/Doxygen'
- name: Deploy
uses: peaceiris/[email protected]
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/generated/html