turn off fuzzit

It seems it went down yesterday and it's not clear how long it will
take to bring it back.

diff --git a/.travis.yml b/.travis.yml
index 82f62a860f2c7153ca0e72fa3e9504e54a8c94b8..78cf5bc6f2e03d0552347d89e547eb5f7e4c1847 100644 (file)
--- 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: