]> git.gsnw.org Git - fping.git/commitdiff
move coverity scan to a script, so that it doesn't run for every job
authorDavid Schweikert <david@schweikert.ch>
Wed, 5 Aug 2020 06:08:53 +0000 (09:08 +0300)
committerDavid Schweikert <david@schweikert.ch>
Wed, 5 Aug 2020 06:08:53 +0000 (09:08 +0300)
.travis.yml

index 4131fe843b3caf38cef221c5d55c815ce3834747..a4ebc20c1f6d5bf563d7ef00aecf5c03df4669b8 100644 (file)
@@ -37,6 +37,7 @@ stages:
   - name: deploy
     if: branch = master OR branch = v4.x
   - name: coverity
+    if: branch = master OR branch = v4.x OR branch = coverity_scan
 
 jobs:
   include: