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