File tree 1 file changed +24
-7
lines changed
1 file changed +24
-7
lines changed Original file line number Diff line number Diff line change 1
- name : Build Docs
2
-
1
+ name : Build and Deploy Docs
3
2
on :
4
3
push :
5
- branches : [ master, develop, release, docs ]
4
+ branches : [docs ]
5
+
6
6
pull_request :
7
- branches : [ master, develop, release, docs ]
7
+ branches : [release, docs ]
8
+ # Allows you to run this workflow manually from the Actions tab
9
+ workflow_dispatch :
10
+
11
+ permissions :
12
+ contents : read
13
+ pull-requests : write
14
+ id-token : write
15
+
16
+ # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
17
+ # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
18
+ concurrency :
19
+ group : " pages"
20
+ cancel-in-progress : false
8
21
9
- env :
10
- OMP_NUM_THREADS : 1
11
-
12
22
jobs :
13
23
build_docs :
24
+ environment :
25
+ name : github-pages
26
+ url : ${{ steps.deployment.outputs.page_url }}
14
27
name : Build Docs
15
28
runs-on : ubuntu-latest
16
29
steps :
31
44
with :
32
45
name : docs
33
46
path : docs/html
47
+
48
+ - name : Deploy Docs
49
+ id : deployment
50
+ uses : actions/deploy-pages@v4
34
51
You can’t perform that action at this time.
0 commit comments