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