From: Pieter Lexis <pieterlexis@users.noreply.github.com>
Date: Wed, 29 May 2019 14:04:54 +0000 (+0200)
Subject: Merge pull request #7819 from pieterlexis/circleci-coverity
X-Git-Tag: dnsdist-1.4.0-beta1~16
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=18379797b3fe53e42c68133cb7dd3a71b2ba5218;p=thirdparty%2Fpdns.git

Merge pull request #7819 from pieterlexis/circleci-coverity

Do coverity builds once a day via circleci
---

18379797b3fe53e42c68133cb7dd3a71b2ba5218