File tree 4 files changed +17
-0
lines changed
4 files changed +17
-0
lines changed Original file line number Diff line number Diff line change 19
19
- ' docs/**'
20
20
- ' docs_zh-CN/**'
21
21
22
+
23
+ concurrency :
24
+ group : ${{ github.workflow }}-${{ github.ref }}
25
+ cancel-in-progress : true
26
+
22
27
jobs :
23
28
build_cpu :
24
29
runs-on : ubuntu-18.04
Original file line number Diff line number Diff line change @@ -2,6 +2,10 @@ name: build_pat
2
2
3
3
on : push
4
4
5
+ concurrency :
6
+ group : ${{ github.workflow }}-${{ github.ref }}
7
+ cancel-in-progress : true
8
+
5
9
jobs :
6
10
build_parrots :
7
11
runs-on : ubuntu-latest
Original file line number Diff line number Diff line change @@ -2,6 +2,10 @@ name: deploy
2
2
3
3
on : push
4
4
5
+ concurrency :
6
+ group : ${{ github.workflow }}-${{ github.ref }}
7
+ cancel-in-progress : true
8
+
5
9
jobs :
6
10
build-n-publish :
7
11
runs-on : ubuntu-latest
Original file line number Diff line number Diff line change @@ -2,6 +2,10 @@ name: lint
2
2
3
3
on : [push, pull_request]
4
4
5
+ concurrency :
6
+ group : ${{ github.workflow }}-${{ github.ref }}
7
+ cancel-in-progress : true
8
+
5
9
jobs :
6
10
lint :
7
11
runs-on : ubuntu-latest
You can’t perform that action at this time.
0 commit comments