See https://jenkins.osmocom.org/jenkins/job/osmocom-coverity-status/793/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 d962248b66de85c561caf21d67a74609cdeab5cb (origin/master)
git config core.sparsecheckout # timeout=10 git checkout -f d962248b66de85c561caf21d67a74609cdeab5cb # timeout=10
Commit message: "jobs/gerrit: debian10 for osmo-gbproxy + deps"
git rev-list --no-walk d962248b66de85c561caf21d67a74609cdeab5cb # timeout=10
[osmocom-coverity-status] $ /bin/sh -xe /tmp/jenkins9909238952500569960.sh + coverity/badge_status.sh https://scan.coverity.com/projects/7523/badge.svg: 2026-02-01 06:01:02 ERROR 404: Not Found. Build step 'Execute shell' marked build as failure