File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -7,6 +7,10 @@ on: # yamllint disable-line rule:truthy
77 paths :
88 - ' source/**'
99
10+ concurrency :
11+ group : ${{ github.workflow }}-${{ github.event.number }}
12+ cancel-in-progress : true
13+
1014defaults :
1115 run :
1216 shell : bash
Original file line number Diff line number Diff line change @@ -8,6 +8,10 @@ on: # yamllint disable-line rule:truthy
88 - ' source/**'
99 - ' configs/*/*_toc.txt'
1010
11+ concurrency :
12+ group : ${{ github.workflow }}-${{ github.event.number }}
13+ cancel-in-progress : true
14+
1115defaults :
1216 run :
1317 shell : bash
Original file line number Diff line number Diff line change @@ -4,6 +4,10 @@ on: # yamllint disable-line rule:truthy
44 pull_request :
55 branches : ['master']
66
7+ concurrency :
8+ group : ${{ github.workflow }}-${{ github.event.number }}
9+ cancel-in-progress : true
10+
711permissions :
812 contents : read
913
Original file line number Diff line number Diff line change @@ -9,6 +9,10 @@ on: # yamllint disable-line rule:truthy
99 pull_request_target :
1010 branches : [master]
1111
12+ concurrency :
13+ group : ${{ github.workflow }}-${{ github.event.number }}
14+ cancel-in-progress : true
15+
1216permissions :
1317 contents : read
1418 pull-requests : write # Required to set reviewers
Original file line number Diff line number Diff line change @@ -7,6 +7,10 @@ on: # yamllint disable-line rule:truthy
77 paths :
88 - ' source/**'
99
10+ concurrency :
11+ group : ${{ github.workflow }}-${{ github.event.number }}
12+ cancel-in-progress : true
13+
1014defaults :
1115 run :
1216 shell : bash
Original file line number Diff line number Diff line change @@ -3,6 +3,10 @@ name: "vale"
33
44on : [pull_request] # yamllint disable-line rule:truthy
55
6+ concurrency :
7+ group : ${{ github.workflow }}-${{ github.event.number }}
8+ cancel-in-progress : true
9+
610defaults :
711 run :
812 shell : bash
Original file line number Diff line number Diff line change @@ -8,6 +8,10 @@ on: # yamllint disable-line rule:truthy
88 - ' **.yaml'
99 - ' **.yml'
1010
11+ concurrency :
12+ group : ${{ github.workflow }}-${{ github.event.number }}
13+ cancel-in-progress : true
14+
1115permissions :
1216 contents : read
1317
You can’t perform that action at this time.
0 commit comments