turn off fuzzit

It seems it went down yesterday and it's not clear how long it will
take to bring it back.
This commit is contained in:
Evgeny Vereshchagin 2020-06-04 16:02:23 +02:00
parent 3cd5924c85
commit b3753406c0
1 changed files with 0 additions and 22 deletions

View File

@ -14,12 +14,6 @@ stages:
- name: Build & test
if: type != cron
- name: Fuzzit-Fuzzing
if: type = cron
- name: Fuzzit-Regression
if: type != cron
# Run Coverity periodically instead of for each commit/PR
- name: Coverity
if: type = cron
@ -100,22 +94,6 @@ jobs:
after_script:
- $CI_MANAGERS/debian.sh CLEANUP
- stage: Fuzzit-Regression
name: Continuous Fuzzing via Fuzzit (regression)
language: bash
script:
- set -e
- $CI_MANAGERS/fuzzit.sh regression
- set +e
- stage: Fuzzit-Fuzzing
name: Continuous Fuzzing via Fuzzit (fuzzing daily)
language: bash
script:
- set -e
- $CI_MANAGERS/fuzzit.sh fuzzing
- set +e
- stage: Coverity
language: bash
env: