[S] Change in osmo-ci[master]: coverity: upgrade to 2023.6.2

Attention is currently required from: osmith. Hello Jenkins Builder, fixeria, I'd like you to reexamine a change. Please visit https://gerrit.osmocom.org/c/osmo-ci/+/35266?usp=email to look at the new patch set (#2). The following approvals got outdated and were removed: Verified+1 by Jenkins Builder The change is no longer submittable: Verified is unsatisfied now. Change subject: coverity: upgrade to 2023.6.2 ...................................................................... coverity: upgrade to 2023.6.2 Change-Id: I91f087fa3b39e1e0bc48739f92c4c23b3c0aa34f --- M ansible/roles/install-coverity/defaults/main.yml 1 file changed, 10 insertions(+), 1 deletion(-) git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/66/35266/2 -- To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/35266?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-ci Gerrit-Branch: master Gerrit-Change-Id: I91f087fa3b39e1e0bc48739f92c4c23b3c0aa34f Gerrit-Change-Number: 35266 Gerrit-PatchSet: 2 Gerrit-Owner: osmith <osmith(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: fixeria <vyanitskiy(a)sysmocom.de> Gerrit-Attention: osmith <osmith(a)sysmocom.de> Gerrit-MessageType: newpatchset