]> git.ipfire.org Git - thirdparty/pdns.git/commit
Merge pull request #7819 from pieterlexis/circleci-coverity
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Wed, 29 May 2019 14:04:54 +0000 (16:04 +0200)
committerGitHub <noreply@github.com>
Wed, 29 May 2019 14:04:54 +0000 (16:04 +0200)
commit18379797b3fe53e42c68133cb7dd3a71b2ba5218
tree40694dc0c8e2e8d5059a91bfd18260713308bb2d
parent4bd5972b286478c9ba0ffba8fe5651d4669e433b
parentc08182e2909ab692867700fd030075ce70225041
Merge pull request #7819 from pieterlexis/circleci-coverity

Do coverity builds once a day via circleci
.circleci/config.yml