Change in osmo-ci[master]: ansible: install-coverity: ensure it's not installed twice

Hello Jenkins Builder, I'd like you to reexamine a change. Please visit https://gerrit.osmocom.org/c/osmo-ci/+/30917 to look at the new patch set (#3). Change subject: ansible: install-coverity: ensure it's not installed twice ...................................................................... ansible: install-coverity: ensure it's not installed twice Check if the coverity path already exists. Even this wouldn't detect if the coverity has been only installed half way. Related: OS#5801 Change-Id: I95549983bb6bd47e04eb37c73afe5409637f87d3 --- M ansible/roles/install-coverity/tasks/main.yml 1 file changed, 35 insertions(+), 30 deletions(-) git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/17/30917/3 -- 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(a)fe80.eu> Gerrit-Reviewer: Jenkins Builder Gerrit-MessageType: newpatchset