File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 44 push :
55 branches :
66 - master
7- pull_request :
8- branches :
9- - master
10- - devel
11- types :
12- - opened
13- - reopened
14- - synchronize
15- - ready_for_review
167 paths-ignore :
178 - ' doc/**'
189 - ' contrib/**'
10+ - ' **/*.md'
11+ merge_group :
12+ paths-ignore :
13+ - ' doc/**'
14+ - ' contrib/**'
15+ - ' **/*.md'
1916
2017concurrency :
2118 group : ${{ github.event_name }}-${{ github.workflow }}-${{ github.ref }}
Original file line number Diff line number Diff line change 44 push :
55 branches :
66 - master
7+ paths-ignore :
8+ - ' applications/**'
9+ - ' doc/**'
10+ - ' contrib/**'
11+ - ' **/*.md'
712 pull_request :
13+ merge_group :
814 branches :
915 - master
10- - devel
11- types :
12- - opened
13- - reopened
14- - synchronize
15- - ready_for_review
1616 paths-ignore :
1717 - ' applications/**'
1818 - ' doc/**'
1919 - ' contrib/**'
20+ - ' **/*.md'
2021
2122concurrency :
2223 group : ${{ github.event_name }}-${{ github.workflow }}-${{ github.ref }}
7778 ninja install
7879
7980 linux-optimizations :
81+ if : github.event_name == 'merge_group'
8082 runs-on : [ubuntu-22.04]
8183 timeout-minutes : 120
8284
You can’t perform that action at this time.
0 commit comments