File tree Expand file tree Collapse file tree 3 files changed +12
-0
lines changed Expand file tree Collapse file tree 3 files changed +12
-0
lines changed Original file line number Diff line number Diff line change 12
12
check_suite :
13
13
types : [rerequested]
14
14
15
+ concurrency :
16
+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
17
+ cancel-in-progress : true
18
+
15
19
jobs :
16
20
test :
17
21
runs-on : ubuntu-20.04
Original file line number Diff line number Diff line change 12
12
- ' ports/unix/**'
13
13
- ' ports/windows/**'
14
14
15
+ concurrency :
16
+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
17
+ cancel-in-progress : true
18
+
15
19
jobs :
16
20
build :
17
21
runs-on : windows-2019
Original file line number Diff line number Diff line change 8
8
pull_request :
9
9
push :
10
10
11
+ concurrency :
12
+ group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
13
+ cancel-in-progress : true
14
+
11
15
jobs :
12
16
pre-commit :
13
17
runs-on : ubuntu-20.04
You can’t perform that action at this time.
0 commit comments