File tree 1 file changed +64
-0
lines changed
1 file changed +64
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Documentation
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