File tree Expand file tree Collapse file tree 5 files changed +5
-3
lines changed
Expand file tree Collapse file tree 5 files changed +5
-3
lines changed Original file line number Diff line number Diff line change @@ -19,6 +19,7 @@ permissions:
1919
2020jobs :
2121 check_clang_tidy :
22+ if : ${{ !contains(github.event.pull_request.labels.*.name, 'skip_buildbots') }}
2223 name : Check clang-tidy
2324 runs-on : macos-latest
2425 steps :
Original file line number Diff line number Diff line change 1717 - " packaging/**"
1818 - " Makefile"
1919 - " Makefile.inc"
20- workflow_dispatch :
2120
2221concurrency :
2322 group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -28,6 +27,7 @@ permissions:
2827
2928jobs :
3029 arm-linux :
30+ if : ${{ !contains(github.event.pull_request.labels.*.name, 'skip_buildbots') }}
3131 name : arm-${{ matrix.bits }} / ${{ matrix.uv_group }}
3232 runs-on : ubuntu-24.04-arm
3333 strategy :
Original file line number Diff line number Diff line change 1717 - " packaging/**"
1818 - " Makefile"
1919 - " Makefile.inc"
20- workflow_dispatch :
2120
2221concurrency :
2322 group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -28,6 +27,7 @@ permissions:
2827
2928jobs :
3029 linux :
30+ if : ${{ !contains(github.event.pull_request.labels.*.name, 'skip_buildbots') }}
3131 name : linux-${{ matrix.bits }} / ${{ matrix.uv_group }}
3232 runs-on : ubuntu-24.04
3333 strategy :
Original file line number Diff line number Diff line change @@ -44,6 +44,7 @@ permissions:
4444
4545jobs :
4646 build_make :
47+ if : ${{ !contains(github.event.pull_request.labels.*.name, 'skip_buildbots') }}
4748 name : build on ${{ matrix.os }}
4849
4950 strategy :
Original file line number Diff line number Diff line change 1717 - " packaging/**"
1818 - " Makefile"
1919 - " Makefile.inc"
20- workflow_dispatch :
2120
2221concurrency :
2322 group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -32,6 +31,7 @@ defaults:
3231
3332jobs :
3433 windows :
34+ if : ${{ !contains(github.event.pull_request.labels.*.name, 'skip_buildbots') }}
3535 name : windows-${{ matrix.bits }} / ${{ matrix.uv_group }}
3636 runs-on : windows-2022
3737 strategy :
You can’t perform that action at this time.
0 commit comments