From 6b8d32ea7b5775bdd10a75f72fd3b8a0e8dae93f Mon Sep 17 00:00:00 2001 From: Evgeny Vereshchagin Date: Mon, 30 Mar 2020 06:42:19 +0000 Subject: ci: turn off FuzzBuzz I don't think anyone uses it. --- travis-ci/managers/fuzzbuzz.sh | 5 ----- 1 file changed, 5 deletions(-) (limited to 'travis-ci') diff --git a/travis-ci/managers/fuzzbuzz.sh b/travis-ci/managers/fuzzbuzz.sh index c841af1214..295fc03613 100755 --- a/travis-ci/managers/fuzzbuzz.sh +++ b/travis-ci/managers/fuzzbuzz.sh @@ -20,11 +20,6 @@ tools/oss-fuzz.sh ./out/fuzz-unit-file -max_total_time=5 git clean -dxff -wget https://app.fuzzbuzz.io/releases/cli/latest/linux/fuzzbuzz -chmod +x fuzzbuzz -./fuzzbuzz validate -./fuzzbuzz target test fuzz-unit-file --all - git clone https://github.com/google/oss-fuzz /tmp/oss-fuzz cd /tmp/oss-fuzz sudo ./infra/helper.py pull_images -- cgit v1.2.1