]> git.german-service-network.de Git - fping.git/commit
projects / fping.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aeea60a) | patch
move coverity scan to a script, so that it doesn't run for every job
authorDavid Schweikert <[email protected]>
Wed, 5 Aug 2020 06:08:53 +0000 (09:08 +0300)
committerDavid Schweikert <[email protected]>
Wed, 5 Aug 2020 06:08:53 +0000 (09:08 +0300)
commit0d8f3cef2af9a3c0a8dc94b3ff2ba5874ef75b5f
tree350dd78f101fc3a4c2d70e70ebf422680567c11ftree | snapshot
parentaeea60a0e056a63e2012f095e531f85cf29eb577commit | diff
move coverity scan to a script, so that it doesn't run for every job
.travis.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.