File tree Expand file tree Collapse file tree 1 file changed +64
-0
lines changed Expand file tree Collapse file tree 1 file changed +64
-0
lines changed Original file line number Diff line number Diff line change 1+ name : Build Documentation and Deploy
2+
3+ on :
4+ push :
5+ branches :
6+ - main
7+ workflow_dispatch :
8+
9+ permissions :
10+ contents : read
11+ id-token : write
12+ pages : write
13+
14+ concurrency :
15+ group : " pages"
16+ cancel-in-progress : true
17+
18+ jobs :
19+ # Build job
20+ build :
21+ runs-on : ubuntu-latest
22+ steps :
23+ # Checkout the repository
24+ - name : Checkout repository
25+ uses : actions/checkout@v2
26+ with :
27+ fetch-depth : 0
28+ submodules : " true"
29+
30+ - name : Set Version
31+ run : echo "PROJECT_NUMBER = `git describe --tags`" >> ./docs/doxygen/doxygen-config
32+
33+ - name : Build Documentation
34+ uses :
mattnotmitt/[email protected] 35+ with :
36+ doxyfile-path : " ./docs/doxygen/doxygen-config"
37+
38+ # Upload the documentation as an artifact
39+ - name : Upload documentation
40+ 41+ with :
42+ path : ./docs/html
43+
44+ # Deploy job
45+ deploy :
46+ # Add a dependency to the build job
47+ needs : build
48+
49+ # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
50+ permissions :
51+ pages : write # to deploy to Pages
52+ id-token : write # to verify the deployment originates from an appropriate source
53+
54+ # Deploy to the github-pages environment
55+ environment :
56+ name : github-pages
57+ url : ${{ steps.deployment.outputs.page_url }}
58+
59+ # Specify runner + deployment step
60+ runs-on : ubuntu-latest
61+ steps :
62+ - name : Deploy to GitHub Pages
63+ id : deployment
64+ uses : actions/deploy-pages@v4 # or specific "vX.X.X" version tag for this action
You can’t perform that action at this time.
0 commit comments