2020-05-30 19:25:43 +00:00
|
|
|
name: GitHub Pages
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
2020-05-31 04:25:18 +00:00
|
|
|
branches: master
|
2020-05-30 19:25:43 +00:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
deploy:
|
2020-05-30 19:45:07 +00:00
|
|
|
runs-on: ubuntu-18.04
|
2020-05-30 19:25:43 +00:00
|
|
|
steps:
|
2020-05-31 04:25:18 +00:00
|
|
|
- name: Checkout
|
|
|
|
|
uses: actions/checkout@v2
|
|
|
|
|
|
|
|
|
|
- name: Setup mdBook
|
|
|
|
|
uses: peaceiris/actions-mdbook@v1
|
|
|
|
|
with:
|
|
|
|
|
mdbook-version: "latest"
|
|
|
|
|
|
|
|
|
|
- name: Build using mdBook
|
|
|
|
|
run: mdbook build
|
|
|
|
|
|
|
|
|
|
- name: GitHub Pages action
|
|
|
|
|
uses: peaceiris/actions-gh-pages@v3
|
|
|
|
|
with:
|
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
publish_dir: ./book
|
