Attention is currently required from: lynxis lazus.
osmith has posted comments on this change. ( https://gerrit.osmocom.org/c/osmo-ci/+/30917 )
Change subject: ansible: install-coverity: ensure it's not installed twice
......................................................................
Patch Set 3:
(1 comment)
Commit Message:
https://gerrit.osmocom.org/c/osmo-ci/+/30917/comment/7f51e0eb_d3e3ebe8
PS3, Line 10: detect if the coverity has been only installed half way.
same as in the other patch: you could create a marker at the very end after it was successfully installed and check for that
--
To view, visit
https://gerrit.osmocom.org/c/osmo-ci/+/30917
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I95549983bb6bd47e04eb37c73afe5409637f87d3
Gerrit-Change-Number: 30917
Gerrit-PatchSet: 3
Gerrit-Owner: lynxis lazus
lynxis@fe80.eu
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: pespin
pespin@sysmocom.de
Gerrit-CC: osmith
osmith@sysmocom.de
Gerrit-Attention: lynxis lazus
lynxis@fe80.eu
Gerrit-Comment-Date: Mon, 16 Jan 2023 09:37:25 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Gerrit-MessageType: comment