Skip to content

숫자가 종종 잘못된 문자로 매칭되는 버그 수정 #323

숫자가 종종 잘못된 문자로 매칭되는 버그 수정

숫자가 종종 잘못된 문자로 매칭되는 버그 수정 #323

Workflow file for this run

name: Doxygen publish
on:
push:
branches:
- main
pull_request: {}
jobs:
build-doxygen-and-publish:
runs-on: ubuntu-latest
steps:
- uses: actions/setup-python@v2
- run: pip install -U sphinx sphinx-sitemap breathe sphinx_rtd_theme
- run: sudo apt update && sudo apt install doxygen
- uses: actions/checkout@v2
- run: cd docs && make html
- uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/_build/html