Add Travis based Coverity trigger (#778)
authorEbrahim Byagowi <ebrahim@gnu.org>
Mon, 12 Feb 2018 07:57:00 +0000 (11:27 +0330)
committerGitHub <noreply@github.com>
Mon, 12 Feb 2018 07:57:00 +0000 (11:27 +0330)
commit7daa2822f6320801dfed09782ae46687e7c8cbb3
treec1a0dac66771acd7d96c3c36650ddd19a2952fb2
parent7747bdb11b0635738a14c099bfaf58461cadd79a
Add Travis based Coverity trigger (#778)
.ci/trigger-coverity.sh [new file with mode: 0644]
.travis.yml