See
<https://jenkins.osmocom.org/jenkins/job/osmocom-coverity-status/682/display/redirect>
Changes:
------------------------------------------
Started by timer
Running as SYSTEM
Building remotely on build4-deb12build-ansible (registry-build-amd64 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.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 a318929c7ed727148b260d703f44b7b40c16f336 (origin/master)
git config core.sparsecheckout # timeout=10
git checkout -f a318929c7ed727148b260d703f44b7b40c16f336 # timeout=10
Commit
message: "jobs/gerrit,master: use debian-trixie-build"
git rev-list --no-walk
a318929c7ed727148b260d703f44b7b40c16f336 # timeout=10
[osmocom-coverity-status] $
/bin/sh -xe /tmp/jenkins4967529136579656441.sh
+ coverity/badge_status.sh
2025-10-13 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