2020-08-28 16:21:08 +00:00
|
|
|
name: Publish the wiki
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches: [ master ]
|
2020-09-15 09:26:24 +00:00
|
|
|
paths:
|
2020-09-16 13:06:15 +00:00
|
|
|
- 'wiki/**'
|
2020-08-28 16:21:08 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
publish:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
|
|
steps:
|
2020-08-28 18:33:33 +00:00
|
|
|
- name: Checkout branch
|
|
|
|
|
uses: actions/checkout@v1
|
2020-09-03 08:55:10 +00:00
|
|
|
- name: Upload Documentation to Wiki
|
|
|
|
|
run: bash ./.github/deploy_wiki.sh
|
2020-08-28 16:21:08 +00:00
|
|
|
env:
|
|
|
|
|
GH_PERSONAL_ACCESS_TOKEN: ${{ secrets.GH_PERSONAL_ACCESS_TOKEN }}
|
2020-09-03 08:55:10 +00:00
|
|
|
WIKI_PATH: "wiki"
|
2020-08-28 16:21:08 +00:00
|
|
|
|
