File tree Expand file tree Collapse file tree 1 file changed +36
-0
lines changed Expand file tree Collapse file tree 1 file changed +36
-0
lines changed Original file line number Diff line number Diff line change
1
+
2
+ name : Deploy
3
+
4
+ on :
5
+ push :
6
+ branches :
7
+ - main
8
+ workflow_dispatch :
9
+ inputs :
10
+ reason :
11
+ description : ' why this workflow is triggered'
12
+ required : true
13
+ default : ' manually deploy site'
14
+
15
+ jobs :
16
+ deploy_gh_pages :
17
+ name : Deploy to GitHub Pages
18
+ runs-on : ubuntu-latest
19
+ steps :
20
+ - uses : actions/checkout@v2
21
+ - uses : actions-rs/toolchain@v1
22
+ with :
23
+ profile : minimal
24
+ - name : Install mdbook
25
+ run : cargo install mdbook mdbook-toc
26
+ - name : Build docs
27
+ working-directory : ./docs
28
+ run : mdbook build
29
+ - name : Deploy to GitHub Pages
30
+ if : ${{ github.ref == 'refs/heads/main' }}
31
+ uses : peaceiris/actions-gh-pages@v3
32
+ with :
33
+ publish_dir : ./docs/book
34
+ user_name : ' github-actions[bot]'
35
+ user_email : ' github-actions[bot]@users.noreply.github.com'
36
+ force_orphan : true
You can’t perform that action at this time.
0 commit comments