[S] Change in osmo-ci[master]: coverity: run inside docker

osmith has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ci/+/34205 ) Change subject: coverity: run inside docker ...................................................................... coverity: run inside docker Run the coverity job inside docker, so all depends are available (fixes that it currently fails because liburing isn't available for libosmocore). Depends: docker-playground I25862a7e3c8a73e13fd4a9237ab57500d8dfc95c Change-Id: I5cfdb6b2e12e176ff6d6ed6c1b8505d7694993f9 --- M coverity/jenkins.sh M jobs/coverity.yml 2 files changed, 26 insertions(+), 3 deletions(-) Approvals: Jenkins Builder: Verified daniel: Looks good to me, but someone else must approve laforge: Looks good to me, approved diff --git a/coverity/jenkins.sh b/coverity/jenkins.sh index 64d21de..dfe3067 100755 --- a/coverity/jenkins.sh +++ b/coverity/jenkins.sh @@ -3,6 +3,8 @@ set -e -x +export PATH=$PATH:/opt/coverity/current/bin + base_dir="$HOME/osmo-ci/coverity" src_dir="$PWD/source-Osmocom" cov_dir="$src_dir/cov-int" diff --git a/jobs/coverity.yml b/jobs/coverity.yml index 242d1aa..7c4b0e8 100644 --- a/jobs/coverity.yml +++ b/jobs/coverity.yml @@ -12,9 +12,16 @@ node: coverity builders: - shell: | - cd coverity - export PATH=$PATH:/opt/coverity/current/bin - ./jenkins.sh + docker run \ + --rm=true \ + -e PARALLEL_MAKE="$PARALLEL_MAKE" \ + -u build \ + -v "$PWD:/build" \ + -v "/home/osmo-ci/coverity:/home/osmo-ci/coverity:ro" \ + -v "/opt/coverity:/opt/coverity:ro" \ + -w /build/coverity \ + "$USER/debian-bookworm-build" \ + ./jenkins.sh publishers: - email: recipients: 'jenkins-notifications(a)lists.osmocom.org' -- To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/34205 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-ci Gerrit-Branch: master Gerrit-Change-Id: I5cfdb6b2e12e176ff6d6ed6c1b8505d7694993f9 Gerrit-Change-Number: 34205 Gerrit-PatchSet: 1 Gerrit-Owner: osmith <osmith(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: daniel <dwillmann(a)sysmocom.de> Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de> Gerrit-MessageType: merged