diff options
author | Evgeny Vereshchagin <evvers@ya.ru> | 2020-03-30 06:42:19 +0000 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-03-30 14:57:22 +0200 |
commit | 6b8d32ea7b5775bdd10a75f72fd3b8a0e8dae93f (patch) | |
tree | 7369b866b184af1529cb772d512fd245bf5f6c28 /travis-ci | |
parent | c4ae2704b7e921a0b05486a7b201be6770a04ea7 (diff) | |
download | systemd-6b8d32ea7b5775bdd10a75f72fd3b8a0e8dae93f.tar.gz |
ci: turn off FuzzBuzz
I don't think anyone uses it.
Diffstat (limited to 'travis-ci')
-rwxr-xr-x | travis-ci/managers/fuzzbuzz.sh | 5 |
1 files changed, 0 insertions, 5 deletions
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 |