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 : documentation
1+ name : doc-build
22
33on : [push, pull_request, workflow_dispatch]
44
@@ -7,13 +7,6 @@ permissions:
77 pages : write
88 id-token : write
99
10- # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
11- # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
12- concurrency :
13- group : " pages"
14- cancel-in-progress : false
15-
16-
1710jobs :
1811 build-source :
1912 runs-on : windows-latest
@@ -128,7 +121,13 @@ jobs:
128121 runs-on : ubuntu-latest
129122 needs : build-docs
130123 if : github.ref == 'refs/heads/main'
124+ # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
125+ # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
126+ concurrency :
127+ group : " pages"
128+ cancel-in-progress : false
131129
130+
132131 steps :
133132 - name : Checkout repository
134133 uses : actions/checkout@v4
You can’t perform that action at this time.
0 commit comments