travis: skip the Fuzzit-Sanity stage when it's run by cron

This commit is contained in:
Evgeny Vereshchagin
2019-06-14 20:56:10 +02:00
parent dda1fc81be
commit baea4bd969

View File

@@ -14,6 +14,9 @@ stages:
- name: Fuzzit-Fuzzing
if: type = cron
- name: Fuzzit-Sanity
if: type != cron
# Run Coverity periodically instead of for each commit/PR
- name: Coverity
if: type = cron