File tree 6 files changed +19
-7
lines changed
6 files changed +19
-7
lines changed Original file line number Diff line number Diff line change 1
- name : CI
1
+ name : CI (CMake)
2
2
3
3
on :
4
4
push :
5
5
branches : [master]
6
6
pull_request :
7
7
branches : [master]
8
-
8
+ concurrency :
9
+ group : ${{ github.workflow }}-${{ github.ref }}
10
+ cancel-in-progress : true
9
11
jobs :
10
12
build :
11
13
strategy :
Original file line number Diff line number Diff line change 7
7
branches : [ master ]
8
8
pull_request :
9
9
branches : [ master ]
10
-
10
+ concurrency :
11
+ group : ${{ github.workflow }}-${{ github.ref }}
12
+ cancel-in-progress : true
11
13
jobs :
12
14
build :
13
15
runs-on : [Windows, self-hosted]
Original file line number Diff line number Diff line change 5
5
branches : [ master ]
6
6
pull_request :
7
7
branches : [ master ]
8
-
8
+ concurrency :
9
+ group : ${{ github.workflow }}-${{ github.ref }}
10
+ cancel-in-progress : true
9
11
jobs :
10
12
build :
11
13
Original file line number Diff line number Diff line change 5
5
branches : [ master ]
6
6
pull_request :
7
7
branches : [ master ]
8
-
8
+ concurrency :
9
+ group : ${{ github.workflow }}-${{ github.ref }}
10
+ cancel-in-progress : true
9
11
jobs :
10
12
build :
11
13
Original file line number Diff line number Diff line change 5
5
branches : [ master ]
6
6
pull_request :
7
7
branches : [ master ]
8
-
8
+ concurrency :
9
+ group : ${{ github.workflow }}-${{ github.ref }}
10
+ cancel-in-progress : true
9
11
jobs :
10
12
build :
11
13
name : MacOS Build CI
Original file line number Diff line number Diff line change 7
7
branches : [ master ]
8
8
pull_request :
9
9
branches : [ master ]
10
-
10
+ concurrency :
11
+ group : ${{ github.workflow }}-${{ github.ref }}
12
+ cancel-in-progress : true
11
13
jobs :
12
14
build :
13
15
runs-on : windows-latest
You can’t perform that action at this time.
0 commit comments