]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
projects / thirdparty / systemd.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5e1ca54 590ebd6)
Merge pull request #18174 from systemd/coverity-now-for-real
authorLuca Boccassi <luca.boccassi@microsoft.com>
Mon, 11 Jan 2021 17:56:13 +0000 (17:56 +0000)
committerGitHub <noreply@github.com>
Mon, 11 Jan 2021 17:56:13 +0000 (17:56 +0000)
ci: move the Coverity job to GitHub Actions


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