]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
projects / thirdparty / pdns.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1bc7684 df23d4b)
Merge pull request #12479 from rgacogne/coverity-gh
authorRemi Gacogne <remi.gacogne@powerdns.com>
Fri, 27 Jan 2023 17:11:11 +0000 (18:11 +0100)
committerGitHub <noreply@github.com>
Fri, 27 Jan 2023 17:11:11 +0000 (18:11 +0100)
Add coverity scans to our daily GitHub actions flow, remove them from Circle CI


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.