Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

CI: disable Spicy on CentOS 7

Browse source 
Based on 1774a25f00 in master, which mainly
touched QUIC configuration that does not apply here just yet, hence not a
cherry-pick.
This commit is contained in:
Christian Kreibich 2024-01-17 12:25:21 -08:00
parent 23742165f3
commit 63a771103a
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.cirrus.yml
View file

@ -193,6 +193,8 @@ centos7_task:
<< : *RESOURCES_TEMPLATE << : *RESOURCES_TEMPLATE
<< : *CI_TEMPLATE << : *CI_TEMPLATE
<< : *SKIP_TASK_ON_PR << : *SKIP_TASK_ON_PR
env:
ZEEK_CI_CONFIGURE_FLAGS: *NO_SPICY_CONFIG
debian12_task: debian12_task:
container: container: