path: root/.ci/
diff options
authorStefan Schmidt <>2019-06-25 12:11:33 -0400
committerMike Blumenkrantz <>2019-06-25 12:11:33 -0400
commit4f0989f2904c20ad2768b8244190b82b701c0564 (patch)
tree214791646acc23c2c0b87452882d155a1351ada6 /.ci/
parent8103b5687479385b3b2ba0fe5eddb9e6ce6b50c4 (diff)
ci: travis: add coverity build job to be run from cron
Summary: We finally have regular Coverity Scan runs back to our CI. It gets triggered from the cron jobs on Travis. As we are not able to identify if it comes from a daily or weekly cron build I added a check to only run the scan build on a Saturday so we should have a nice and fresh report on Monday morning in our mailboxes. Reviewers: zmike, bu5hm4n Reviewed By: zmike Subscribers: cedric, #reviewers, #committers Tags: #efl Differential Revision:
Diffstat (limited to '.ci/')
1 files changed, 3 insertions, 0 deletions
diff --git a/.ci/ b/.ci/
index d1689a2844..1fe0f9796f 100755
--- a/.ci/
+++ b/.ci/
@@ -5,6 +5,9 @@ set -e
5if [ "$1" = "release-ready" ] ; then 5if [ "$1" = "release-ready" ] ; then
6 exit 0 6 exit 0
7fi 7fi
8if [ "$1" = "coverity" ] ; then
9 exit 0
8travis_fold benchmark "ninja benchmark" 11travis_fold benchmark "ninja benchmark"
9echo "Nothing to do here, the benchmarks don't seem to terminate" 12echo "Nothing to do here, the benchmarks don't seem to terminate"
10#else 13#else