File tree 1 file changed +9
-3
lines changed
1 file changed +9
-3
lines changed Original file line number Diff line number Diff line change @@ -2,8 +2,6 @@ name: Incremental Build Triggered By Push Events
2
2
3
3
on : repository_dispatch
4
4
5
- concurrency : prod_environment
6
-
7
5
jobs :
8
6
build :
9
7
name : Retrieve docs and deploy the website
16
14
- name : Bailout
17
15
if : ${{ !github.event.client_payload.sha }}
18
16
run : exit 1
17
+
18
+ # make sure there is only one workflow running
19
+ - name : Turnstyle
20
+ if : ${{ !env.ACT }}
21
+ uses : softprops/turnstyle@v1
22
+ env :
23
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
19
24
20
25
- name : Set known_hosts
21
26
if : ${{ !env.ACT && github.repository_owner == 'pingcap' }}
76
81
env :
77
82
GITHUB_AUTHORIZATION_TOKEN : ${{ secrets.GH_TOKEN }}
78
83
run : |
84
+ sudo rm -fr ./markdown-pages/*
79
85
yarn download:tidb:en:all
80
86
yarn download:tidb:zh:all
81
87
yarn download:dm:all
@@ -174,6 +180,6 @@ jobs:
174
180
175
181
# if does full building, store latest commit sha of all docs repo
176
182
- name : Update all commit hashes
177
- if : github.event.client_payload.download_type == 'full'
183
+ if : ${{ github.event.client_payload.download_type == 'full' || steps.check-file-exists.outputs.isEmpty }}
178
184
run : |
179
185
bash ./scripts/get-latest-commits.sh ${{ secrets.GH_TOKEN }}
You can’t perform that action at this time.
0 commit comments