From: Remi Gacogne Date: Fri, 27 Jan 2023 17:11:11 +0000 (+0100) Subject: Merge pull request #12479 from rgacogne/coverity-gh X-Git-Tag: dnsdist-1.8.0-rc1~71 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ae0078663301db86e46f2951f19a9e28720cb5d4;p=thirdparty%2Fpdns.git Merge pull request #12479 from rgacogne/coverity-gh Add coverity scans to our daily GitHub actions flow, remove them from Circle CI --- ae0078663301db86e46f2951f19a9e28720cb5d4