Skip to content

Merge pull request #73 from jullanggit/patch-2 #27

Merge pull request #73 from jullanggit/patch-2

Merge pull request #73 from jullanggit/patch-2 #27

name: github pages
on:
push:
branches:
- master
jobs:
deploy:
runs-on: ubuntu-18.04
steps:
- uses: actions/checkout@v2
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.5'
# mdbook-version: 'latest'
- name: Cache multiple paths
uses: actions/cache@v2
with:
path: |
~/.cargo/bin
key: ${{ runner.os }}
- name: Install mdbook-skill-tree
run: cargo install --git https://github.com/nikomatsakis/skill-tree.git mdbook-skill-tree
continue-on-error: true # we don't care if this is already cached
- name: Install skill tree files
run: mdbook-skill-tree install
- run: mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book