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)
commit1cb3f4ad6ead45f22967fe572d34aa3ba8233768
tree1493bf5fe94ce607bf3d034fbbfbea387eb7abfd
parente8d0eb3915ac33cc0d3da87a836cee6e61645227
parent34a2f39b3734a931731716daab28b0a5c5dc9487
Merge pull request #24260 from systemd/coverity-update

ci: fetch the latest Coverity build script