ci: move docs to separate action (#942)
parent
26dbc64b35
commit
0c53b7121e
@ -0,0 +1,33 @@
|
||||
name: Publish Docs
|
||||
|
||||
on:
|
||||
workflow_dispatch: { }
|
||||
workflow_run:
|
||||
workflows: [ "Release (Production)" ]
|
||||
branches: [ main ]
|
||||
types:
|
||||
- completed
|
||||
|
||||
jobs:
|
||||
publish-docs:
|
||||
name: Publish Docs
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Checkout
|
||||
uses: actions/checkout@v2
|
||||
with:
|
||||
fetch-depth: 0
|
||||
- name: Install mkdocs
|
||||
run: |
|
||||
pip install \
|
||||
mkdocs \
|
||||
mkdocs-material \
|
||||
md-toc
|
||||
- name: Generate docs
|
||||
run: mkdocs gh-deploy --strict
|
||||
# - name: Publish docs
|
||||
# uses: peaceiris/actions-gh-pages@v3
|
||||
# with:
|
||||
# github_token: ${{ secrets.GITHUB_TOKEN }}
|
||||
# publish_dir: ./site
|
||||
|
Loading…
Reference in New Issue