Skip to content

Fix merge dictionary (#285) #420

Fix merge dictionary (#285)

Fix merge dictionary (#285) #420

Workflow file for this run

name: github pages
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: DocFX
uses: nikeee/[email protected]
with:
args: docs/docfx.json
- name: Deploy
if: github.ref == 'refs/heads/main'
uses: peaceiris/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/_site