From: Luca Boccassi Date: Mon, 11 Jan 2021 17:56:13 +0000 (+0000) Subject: Merge pull request #18174 from systemd/coverity-now-for-real X-Git-Tag: v248-rc1~378 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bcac754d66374782a85a8de39fd543c1eaf9fa82;p=thirdparty%2Fsystemd.git Merge pull request #18174 from systemd/coverity-now-for-real ci: move the Coverity job to GitHub Actions --- bcac754d66374782a85a8de39fd543c1eaf9fa82