File tree 10 files changed +21
-0
lines changed
10 files changed +21
-0
lines changed Original file line number Diff line number Diff line change 9
9
branches :
10
10
include :
11
11
- development
12
+ paths :
13
+ exclude :
14
+ - Docs
12
15
13
16
jobs :
14
17
- job :
Original file line number Diff line number Diff line change 5
5
branches :
6
6
- " development"
7
7
pull_request :
8
+ paths-ignore :
9
+ - " Docs/**"
8
10
9
11
concurrency :
10
12
group : ${{ github.ref }}-${{ github.head_ref }}-clangsanitizers
Original file line number Diff line number Diff line change 5
5
branches :
6
6
- " development"
7
7
pull_request :
8
+ paths-ignore :
9
+ - " Docs/**"
8
10
9
11
concurrency :
10
12
group : ${{ github.ref }}-${{ github.head_ref }}-clangtidy
Original file line number Diff line number Diff line change 5
5
branches :
6
6
- " development"
7
7
pull_request :
8
+ paths-ignore :
9
+ - " Docs/**"
8
10
9
11
concurrency :
10
12
group : ${{ github.ref }}-${{ github.head_ref }}-cuda
Original file line number Diff line number Diff line change 5
5
branches :
6
6
- " development"
7
7
pull_request :
8
+ paths-ignore :
9
+ - " Docs/**"
8
10
9
11
concurrency :
10
12
group : ${{ github.ref }}-${{ github.head_ref }}-hip
Original file line number Diff line number Diff line change 5
5
branches :
6
6
- " development"
7
7
pull_request :
8
+ paths-ignore :
9
+ - " Docs/**"
8
10
9
11
concurrency :
10
12
group : ${{ github.ref }}-${{ github.head_ref }}-insituvis
Original file line number Diff line number Diff line change 5
5
branches :
6
6
- " development"
7
7
pull_request :
8
+ paths-ignore :
9
+ - " Docs/**"
8
10
9
11
concurrency :
10
12
group : ${{ github.ref }}-${{ github.head_ref }}-intel
Original file line number Diff line number Diff line change 5
5
branches :
6
6
- " development"
7
7
pull_request :
8
+ paths-ignore :
9
+ - " Docs/**"
8
10
9
11
concurrency :
10
12
group : ${{ github.ref }}-${{ github.head_ref }}-macos
Original file line number Diff line number Diff line change 5
5
branches :
6
6
- " development"
7
7
pull_request :
8
+ paths-ignore :
9
+ - " Docs/**"
8
10
9
11
concurrency :
10
12
group : ${{ github.ref }}-${{ github.head_ref }}-ubuntu
Original file line number Diff line number Diff line change 5
5
branches :
6
6
- " development"
7
7
pull_request :
8
+ paths-ignore :
9
+ - " Docs/**"
8
10
9
11
concurrency :
10
12
group : ${{ github.ref }}-${{ github.head_ref }}-windows
You can’t perform that action at this time.
0 commit comments