diff options
author | Oliver Smith <osmith@sysmocom.de> | 2023-08-25 12:05:20 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2023-08-25 13:32:59 +0200 |
commit | 56bc906eedd17ecb224f8d2e8ed3233f56073e5e (patch) | |
tree | 27b58fe8ff84caaf4d82b659c7dbf834316992e1 /jobs | |
parent | e9f537dd7643e76e443b2c2e4285b995a58ce2df (diff) |
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
Diffstat (limited to 'jobs')
-rw-r--r-- | jobs/coverity.yml | 13 |
1 files changed, 10 insertions, 3 deletions
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@lists.osmocom.org' |