]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
projects / thirdparty / systemd.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e8d0eb3 34a2f39)
Merge pull request #24260 from systemd/coverity-update
authorEvgeny Vereshchagin <evvers@ya.ru>
Thu, 11 Aug 2022 09:39:53 +0000 (12:39 +0300)
committerGitHub <noreply@github.com>
Thu, 11 Aug 2022 09:39:53 +0000 (12:39 +0300)
ci: fetch the latest Coverity build script


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