laforge has posted comments on this change. ( https://gerrit.osmocom.org/c/osmo-ci/+/28421 ) Change subject: install-coverity: update to 2021.12 ...................................................................... Patch Set 4: Code-Review+2 (1 comment) Patchset: PS4: has been deployed already -- To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/28421 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-ci Gerrit-Branch: master Gerrit-Change-Id: I950834cc2ad70979a53a563610bbc9feef1f5f20 Gerrit-Change-Number: 28421 Gerrit-PatchSet: 4 Gerrit-Owner: laforge <laforge@osmocom.org> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: laforge <laforge@osmocom.org> Gerrit-Comment-Date: Tue, 28 Jun 2022 15:14:08 +0000 Gerrit-HasComments: Yes Gerrit-Has-Labels: Yes Gerrit-MessageType: comment