File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ name : Publish website
2+ on :
3+ push :
4+ branches : ["master"]
5+ paths :
6+ - docs/**
7+ workflow_dispatch :
8+
9+ permissions :
10+ contents : read
11+ pages : write
12+ id-token : write
13+
14+ concurrency :
15+ group : " pages"
16+ cancel-in-progress : false
17+
18+ jobs :
19+ deploy :
20+ environment :
21+ name : github-pages
22+ url : ${{ steps.deployment.outputs.page_url }}
23+
24+ runs-on : ubuntu-latest
25+ steps :
26+ - name : Checkout
27+ uses : actions/checkout@v4
28+
29+ - name : Setup Pages
30+ uses : actions/configure-pages@v5
31+
32+ - name : Build website
33+ working-directory : ./docs
34+ run : |
35+ pip install mkdocs-material mkdocs-awesome-pages-plugin
36+ mkdocs build --strict
37+
38+ - name : Upload artifact
39+ uses : actions/upload-pages-artifact@v3
40+ with :
41+ path : ' ./docs/site/'
42+
43+ - name : Deploy to GitHub Pages
44+ id : deployment
45+ uses : actions/deploy-pages@v4
46+
You can’t perform that action at this time.
0 commit comments