Skip to content

scripts: add script to compare message sets #101

scripts: add script to compare message sets

scripts: add script to compare message sets #101

name: Doxygen GitHub Pages Deploy Action
on:
push:
branches:
- main
- doxygen
pull_request:
branches:
- "*"
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Install doxygen
run: sudo apt update && sudo apt install -y doxygen
- name: Run doxygen
run: ./scripts/run-doxygen.sh
- name: Deploy
if: github.event_name == 'push'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/html