File tree Expand file tree Collapse file tree 1 file changed +49
-0
lines changed Expand file tree Collapse file tree 1 file changed +49
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Host Documentation
2
+ on :
3
+ push :
4
+ branches :
5
+ - main
6
+
7
+ permissions :
8
+ contents : read
9
+ pages : write
10
+ id-token : write
11
+
12
+ jobs :
13
+ build :
14
+ name : Build documentation
15
+ runs-on : ubuntu-latest
16
+
17
+ steps :
18
+ - name : Checkout repository
19
+ uses : actions/checkout@v4
20
+ with :
21
+ fetch-depth : 0
22
+
23
+ - name : Install Rust toolchain
24
+ uses : dtolnay/rust-toolchain@stable
25
+
26
+ - name : Build Documentation
27
+ run : cargo doc -p root --no-deps
28
+
29
+ - name : Add index.html redirect
30
+ run : echo '<meta http-equiv="refresh" content="0; url=root/index.html">' > target/doc/index.html
31
+
32
+ - name : Upload GitHub Pages artifact
33
+
34
+ with :
35
+ path : target/doc
36
+
37
+ deploy :
38
+ name : Deploy to GitHub Pages
39
+ needs : build
40
+ runs-on : ubuntu-latest
41
+
42
+ environment :
43
+ name : github-pages
44
+ url : ${{ steps.deployment.outputs.page_url }}
45
+
46
+ steps :
47
+ - name : Deploy to GitHub Pages
48
+ id : deployment
49
+
You can’t perform that action at this time.
0 commit comments