File tree Expand file tree Collapse file tree 3 files changed +9
-5
lines changed Expand file tree Collapse file tree 3 files changed +9
-5
lines changed Original file line number Diff line number Diff line change 18
18
type : string
19
19
default : " []"
20
20
21
- # concurrency:
22
- # group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
23
- # cancel-in-progress: true
21
+ concurrency :
22
+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
23
+ cancel-in-progress : true
24
24
25
25
jobs :
26
26
delete_cache :
Original file line number Diff line number Diff line change 5
5
workflow_dispatch :
6
6
pull_request :
7
7
8
+ concurrency :
9
+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}-${{ github.job }}
10
+ cancel-in-progress : true
11
+
8
12
jobs :
9
13
test_amd64 :
10
14
name : Daily amd64
Original file line number Diff line number Diff line change 1
- name : Linter
1
+ name : Linters
2
2
3
3
on :
4
4
pull_request :
@@ -9,7 +9,7 @@ concurrency:
9
9
10
10
jobs :
11
11
nph :
12
- name : " NPH Linter "
12
+ name : NPH
13
13
runs-on : ubuntu-latest
14
14
steps :
15
15
- name : Checkout
You can’t perform that action at this time.
0 commit comments