From b3753406c0cd84e3a26ff115f6bc7aa870094c23 Mon Sep 17 00:00:00 2001
From: Evgeny Vereshchagin <evvers@ya.ru>
Date: Thu, 4 Jun 2020 16:02:23 +0200
Subject: [PATCH] turn off fuzzit

It seems it went down yesterday and it's not clear how long it will
take to bring it back.
---
 .travis.yml | 22 ----------------------
 1 file changed, 22 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 82f62a860f..78cf5bc6f2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -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: