See
<https://jenkins.osmocom.org/jenkins/job/osmocom-coverity-status/408/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 build4-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-status/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-status/ws/> # timeout=10
Fetching upstream changes from
https://gerrit.osmocom.org/osmo-ci
git --version # timeout=10
git --version # 'git version 2.39.2'
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 refs/remotes/origin/master^{commit} #
timeout=10
Checking out Revision 2f488d0cbf4531e2bacc3e80ef70035ab3966f87
(refs/remotes/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-status] $
/bin/sh -xe /tmp/jenkins8949255093478585820.sh
+ coverity/badge_status.sh
2025-01-14 06:01:01
URL:https://scan.coverity.com/projects/7523/badge.svg [807] ->
"_temp/badge.svg" [1]
ERROR: coverity failed!
Find the error details here:
https://scan.coverity.com/projects/osmocom?tab=overview
Build step 'Execute shell' marked build as failure