osmith has uploaded this change for review. ( https://gerrit.osmocom.org/c/osmo-ci/+/37214?usp=email ) Change subject: jobs/coverity: adjust mount path to new home dir ...................................................................... jobs/coverity: adjust mount path to new home dir With the related docker-playground patch, the home dir for the build user has actually been changed from /home/build to /build. This doesn't matter for all other jobs it seems, but the coverity job here fails because it tries to access $HOME/osmo-ci/coverity. Adjust the mount path, so it works again as expected. Fix for: ./jenkins.sh: line 37: /build/osmo-ci/coverity/get_token.sh: No such file or directory Related: docker-playground Ief8837bd9f89f51e66857a453f7fc4645620159f Change-Id: If0286e10d1644464e9408db1bbf18c24f4b8d5a6 --- M jobs/coverity.yml 1 file changed, 21 insertions(+), 1 deletion(-) git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/14/37214/1 diff --git a/jobs/coverity.yml b/jobs/coverity.yml index 42c060a..8159940 100644 --- a/jobs/coverity.yml +++ b/jobs/coverity.yml @@ -17,7 +17,7 @@ -e PARALLEL_MAKE="$PARALLEL_MAKE" \ -u build \ -v "$PWD:/build" \ - -v "$HOME/osmo-ci/coverity:/home/build/osmo-ci/coverity:ro" \ + -v "$HOME/osmo-ci/coverity:/build/osmo-ci/coverity:ro" \ -v "/opt/coverity:/opt/coverity:ro" \ -w /build/coverity \ "$USER/debian-bookworm-build" \ -- To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/37214?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: If0286e10d1644464e9408db1bbf18c24f4b8d5a6 Gerrit-Change-Number: 37214 Gerrit-PatchSet: 1 Gerrit-Owner: osmith <osmith(a)sysmocom.de> Gerrit-MessageType: newchange