File tree 1 file changed +12
-9
lines changed
1 file changed +12
-9
lines changed Original file line number Diff line number Diff line change 1
1
name : build and deploy docs
2
2
3
3
on :
4
+ workflow_dispatch :
4
5
push :
5
6
branches :
6
7
# - master
7
8
- fix-docs-build
8
- paths :
9
- - " docs/**"
9
+ # paths:
10
+ # - "docs/**"
10
11
11
12
jobs :
12
13
build :
13
14
runs-on : ubuntu-latest
14
15
15
16
steps :
16
- - name : Checkout Repository
17
+ - name : 📥 Checkout Repository
17
18
uses : actions/checkout@v2
18
19
19
- - name : Setup Rust
20
- uses : dtolnay/rust- toolchain@stable
20
+ - name : 🦀 Install Rust
21
+ uses : actions-rs/ toolchain@v1
21
22
with :
23
+ profile : minimal
24
+ toolchain : stable
22
25
components : clippy
23
26
24
- - name : Install mdbook
27
+ - name : 📚 Install mdbook
25
28
run : |
26
29
cargo install mdbook
27
30
28
- - name : Build mdBook
31
+ - name : 📖 Build mdBook
29
32
working-directory : docs
30
33
run : |
31
34
mdbook build
32
35
33
- # - name: Copy CNAME file
36
+ # - name: 📄 Copy CNAME file
34
37
# working-directory: docs
35
38
# run: |
36
39
# cp CNAME ./book/
37
40
38
- # - name: Deploy to GitHub Pages
41
+ # - name: 📤 Deploy to GitHub Pages
39
42
# uses: peaceiris/actions-gh-pages@v3
40
43
# with:
41
44
# github_token: ${{ secrets.GH_TOKEN }}
You can’t perform that action at this time.
0 commit comments