mirror of
https://github.com/zeek/zeek.git
synced 2025-10-04 15:48:19 +00:00
ci: Run ZAM CI if src/script_opt is modified
...and rework && to || conditions.
This commit is contained in:
parent
f598c89f17
commit
43789fbccc
1 changed files with 6 additions and 4 deletions
10
.cirrus.yml
10
.cirrus.yml
|
@ -65,13 +65,15 @@ skip_task_on_pr: &SKIP_TASK_ON_PR
|
||||||
# Skip this task on PRs if it does not have the fullci label,
|
# Skip this task on PRs if it does not have the fullci label,
|
||||||
# it continues to run for direct pushes to master/release.
|
# it continues to run for direct pushes to master/release.
|
||||||
skip: >
|
skip: >
|
||||||
($CIRRUS_PR != '' && $CIRRUS_PR_LABELS !=~ '.*fullci.*')
|
! ( $CIRRUS_PR == '' || $CIRRUS_PR_LABELS =~ '.*fullci.*' )
|
||||||
|
|
||||||
zam_skip_task_on_pr: &ZAM_SKIP_TASK_ON_PR
|
zam_skip_task_on_pr: &ZAM_SKIP_TASK_ON_PR
|
||||||
# Skip this task on PRs if it does not have the fullci or zamci label,
|
# Skip this task on PRs unless it has the `fullci` or `zamci` label
|
||||||
# it continues to run for direct pushes to master/release.
|
# or files in src/script_opt/** were modified.
|
||||||
|
# It continues to run for direct pushes to master/release, as
|
||||||
|
# CIRRUS_PR will be empty.
|
||||||
skip: >
|
skip: >
|
||||||
($CIRRUS_PR != '' && $CIRRUS_PR_LABELS !=~ '.*fullci.*' && $CIRRUS_PR_LABELS !=~ '.*zamci.*')
|
! ( $CIRRUS_PR == '' || $CIRRUS_PR_LABELS =~ '.*fullci.*' || $CIRRUS_PR_LABELS =~ '.*zamci.*' || changesInclude('src/script_opt/**') )
|
||||||
|
|
||||||
benchmark_only_if_template: &BENCHMARK_ONLY_IF_TEMPLATE
|
benchmark_only_if_template: &BENCHMARK_ONLY_IF_TEMPLATE
|
||||||
# only_if condition for cron-triggered benchmarking tests.
|
# only_if condition for cron-triggered benchmarking tests.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue