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 : Deploy documentation to GitHub Pages
2+
3+ on :
4+ push :
5+ branches : [ "main" ]
6+ workflow_dispatch :
7+
8+ permissions :
9+ contents : read
10+ pages : write
11+ id-token : write
12+
13+ concurrency :
14+ group : " pages"
15+ cancel-in-progress : true
16+
17+ jobs :
18+ build :
19+ runs-on : ubuntu-latest
20+
21+ steps :
22+ - name : Checkout repository
23+ uses : actions/checkout@v4
24+
25+ # ---- BUILD STEP (customize this) ----
26+ - name : Build documentation
27+ run : |
28+ sudo apt install cmake doxygen -y
29+ cmake -S . -B build
30+ make -Cbuild doc
31+ mkdir -p site
32+ cp -r build/doc/html/* site/
33+
34+ - name : Upload Pages artifact
35+ uses : actions/upload-pages-artifact@v3
36+ with :
37+ path : site
38+
39+ deploy :
40+ environment :
41+ name : github-pages
42+ url : ${{ steps.deployment.outputs.page_url }}
43+ runs-on : ubuntu-latest
44+ needs : build
45+
46+ steps :
47+ - name : Deploy to GitHub Pages
48+ id : deployment
49+ uses : actions/deploy-pages@v4
You can’t perform that action at this time.
0 commit comments