diff options
| author | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-14 20:56:10 +0200 |
|---|---|---|
| committer | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-14 20:56:10 +0200 |
| commit | baea4bd9690967da9740625b8caca0bbdd2bae5b (patch) | |
| tree | 120136e7836523f03e8da22d07d1c9801ff68111 /.travis.yml | |
| parent | dda1fc81be620375eebca33ef53a1eff2eb2bb51 (diff) | |
| download | systemd-baea4bd9690967da9740625b8caca0bbdd2bae5b.tar.gz | |
travis: skip the Fuzzit-Sanity stage when it's run by cron
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index f41b43ed22..181ed5e4bd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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 |