]> rtime.felk.cvut.cz Git - jailhouse.git/commit
projects / jailhouse.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bc7da5) | patch
ci: Do not perform regular build for Coverity scan
authorJan Kiszka <jan.kiszka@siemens.com>
Fri, 6 Feb 2015 13:07:27 +0000 (14:07 +0100)
committerJan Kiszka <jan.kiszka@siemens.com>
Fri, 6 Feb 2015 14:35:51 +0000 (15:35 +0100)
commitc7fff1ad6fea3c58e3d65709f382ebb4236c9fe3
treef3be766e217ee688b57f62fb9c9766f79d245f2ftree | snapshot
parent7bc7da52b1e5ff6b25b44660b6814cc88b1aaa3fcommit | diff
ci: Do not perform regular build for Coverity scan

There is no need to run the script step when we only want to collect
data via the coverity_scan add-on.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
.travis.yml diff | blob | history