See https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/2612/display/redirect?page=changes

Changes:

[laforge] ansible: add IPv6 address of build5

[laforge] remove host2-deb11build

------------------------------------------ Started by timer 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 b7e67c1df52050ebaa23437db8dc405dd223c446 # timeout=10

[osmocom-coverity] $ /bin/sh -xe /tmp/jenkins15588706726357576363.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