blob: c262effdd778821f2e4a721e6f3975ba5c40352b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
name: Deploy Manual
on:
push:
branches:
- master
jobs:
deploy:
runs-on: ubuntu-20.04
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v2
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: 1.54.0
override: true
- uses: actions-rs/cargo@v1
with:
command: doc
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.14'
- name: Build manual
run: mdbook build
working-directory: manual
- name: Deploy to GitHub pages
uses: JamesIves/github-pages-deploy-action@4.1.6
with:
branch: gh-pages
folder: manual/book
|
