]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #18128 from mrc0mmand/coverity
authorLuca Boccassi <luca.boccassi@microsoft.com>
Fri, 8 Jan 2021 18:11:55 +0000 (18:11 +0000)
committerGitHub <noreply@github.com>
Fri, 8 Jan 2021 18:11:55 +0000 (18:11 +0000)
ci: move jobs from Travis CI to GitHub Actions


Trivial merge