15 Jan
2025
15 Jan
'25
11 a.m.
See <https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/2615/display/redirect>
Changes:
------------------------------------------
Started by timer
Started by user laforge
Rebuilds build #2614
Running as SYSTEM
Building remotely on build5-deb12build-ansible (ttcn3 obs osmo-gsm-tester-build ttcn3_with_linux_6.1_or_higher qemu io_uring osmocom-gerrit coverity osmocom-master) in workspace <https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/ws/>
The recommended git tool is: NONE
No credentials specified
Wiping out workspace first.
Cloning the remote Git repository
Cloning repository https://gerrit.osmocom.org/osmo-ci
> git init <https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/ws/> # timeout=10
Fetching upstream changes from https://gerrit.osmocom.org/osmo-ci
> git --version # timeout=10
> git --version # 'git version 2.39.5'
> git fetch --tags --force --progress -- https://gerrit.osmocom.org/osmo-ci +refs/heads/*:refs/remotes/origin/* # timeout=10
> git config remote.origin.url https://gerrit.osmocom.org/osmo-ci # timeout=10
> git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
Avoid second fetch
> git rev-parse origin/master^{commit} # timeout=10
Checking out Revision 2f488d0cbf4531e2bacc3e80ef70035ab3966f87 (origin/master)
> git config core.sparsecheckout # timeout=10
> git checkout -f 2f488d0cbf4531e2bacc3e80ef70035ab3966f87 # timeout=10
Commit message: "remove host2-deb11build"
> git rev-list --no-walk 2f488d0cbf4531e2bacc3e80ef70035ab3966f87 # timeout=10
[osmocom-coverity] $ /bin/sh -xe /tmp/jenkins16265580012278015412.sh
+ docker run --rm=true -e PARALLEL_MAKE=-j 12 -u build -v <https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/ws/>:/build -v /home/osmocom-build/osmo-ci/coverity:/opt/osmo-ci/coverity:ro -v /opt/coverity:/opt/coverity:ro -w /build/coverity osmocom-build/debian-bookworm-build ./jenkins.sh
+ readlink /opt/coverity/current
Build step 'Execute shell' marked build as failure