Started by upstream project "<a href='/jenkins/job/gerrit-libosmocore/' class='jenkins-table__link model-link model-link--float'>gerrit-libosmocore</a>" build number <a href='/jenkins/job/gerrit-libosmocore/2086' class='jenkins-table__link model-link model-link--float'>2086</a>
originally caused by:
 Triggered by Gerrit: <a href='https://gerrit.osmocom.org/c/libosmocore/+/40495'>https://gerrit.osmocom.org/c/libosmocore/+/40495</a> in silent mode.
Running as SYSTEM
Building remotely on <a href='/jenkins/computer/build5-deb12build-ansible' class='jenkins-table__link model-link model-link--float'>build5-deb12build-ansible</a> (obs ttcn3_with_linux_6.1_or_higher qemu registry-build-amd64 ttcn3 osmo-gsm-tester-build ttcn3-ggsn-test-kernel-git io_uring osmocom-gerrit coverity osmocom-master) in workspace /home/osmocom-build/jenkins/workspace/gerrit-lint
[ssh-agent] Looking for ssh-agent implementation...
$ ssh-agent
SSH_AUTH_SOCK=/tmp/ssh-NbXspDpUxpWt/agent.755196
SSH_AGENT_PID=755207
[ssh-agent] Started.
Running ssh-add (command line suppressed)
Identity added: /home/osmocom-build/jenkins/workspace/gerrit-lint@tmp/private_key_4492276436313313971.key (/home/osmocom-build/jenkins/workspace/gerrit-lint@tmp/private_key_4492276436313313971.key)
[ssh-agent] Using credentials jenkins (gerrit.osmocom.org)
The recommended git tool is: NONE
using credential d5eda5e9-b59d-44ba-88d2-43473cb6e42d
Wiping out workspace first.
Cloning the remote Git repository
Cloning repository ssh://jenkins@gerrit.osmocom.org:29418/libosmocore
 &gt; git init /home/osmocom-build/jenkins/workspace/gerrit-lint/code-from-gerrit # timeout=10
Fetching upstream changes from ssh://jenkins@gerrit.osmocom.org:29418/libosmocore
 &gt; git --version # timeout=10
 &gt; git --version # 'git version 2.39.5'
using GIT_SSH to set credentials gerrit.osmocom.org
Verifying host key using known hosts file, will automatically accept unseen keys
 &gt; git fetch --tags --force --progress -- ssh://jenkins@gerrit.osmocom.org:29418/libosmocore +refs/heads/*:refs/remotes/origin/* # timeout=10
 &gt; git config remote.origin.url ssh://jenkins@gerrit.osmocom.org:29418/libosmocore # timeout=10
 &gt; git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
 &gt; git config remote.origin.url ssh://jenkins@gerrit.osmocom.org:29418/libosmocore # timeout=10
Fetching upstream changes from ssh://jenkins@gerrit.osmocom.org:29418/libosmocore
using GIT_SSH to set credentials gerrit.osmocom.org
Verifying host key using known hosts file, will automatically accept unseen keys
 &gt; git fetch --tags --force --progress -- ssh://jenkins@gerrit.osmocom.org:29418/libosmocore refs/changes/95/40495/18 # timeout=10
 &gt; git rev-parse FETCH_HEAD^{commit} # timeout=10
Checking out Revision 764b7e5f108ab0f2fbe1654b5cde29f9a2f607d7 (master)
 &gt; git config core.sparsecheckout # timeout=10
 &gt; git checkout -f 764b7e5f108ab0f2fbe1654b5cde29f9a2f607d7 # timeout=10
Commit message: "hacking and debugging  DO NOT MERGE!"
 &gt; git rev-parse FETCH_HEAD^{commit} # timeout=10
 &gt; git rev-list --no-walk 44d1e4fb1d9d143634987a6d0388815791b2407c # timeout=10
<div style="display:none" data-ansicolor-action="45d4c81c-fffe-4691-b678-d243f898583a"></div>[gerrit-lint] $ /bin/sh -xe /tmp/jenkins8090090715355630644.sh
+ rm -rf osmo-ci
+ git clone --depth=1 --branch=master <a href='https://gerrit.osmocom.org/osmo-ci'>https://gerrit.osmocom.org/osmo-ci</a> osmo-ci
Cloning into 'osmo-ci'...
+ git -C osmo-ci log --oneline
cf88fab jobs/gerrit-verifications: osmo-ttcn3-hacks: do make clean
+ readlink -f /tmp/ssh-NbXspDpUxpWt/agent.755196
+ docker run --rm -e GERRIT_HOST=gerrit.osmocom.org -e GERRIT_PORT=29418 -e GERRIT_PROJECT=libosmocore -e GERRIT_CHANGE_NUMBER=40495 -e GERRIT_PATCHSET_NUMBER=18 -e JENKINS_HOME=1 -e SSH_AUTH_SOCK=/ssh-agent -u build -v /tmp/ssh-NbXspDpUxpWt/agent.755196:/ssh-agent -v ./code-from-gerrit:/build/code-from-gerrit -v ./osmo-ci:/build/osmo-ci -w /build/code-from-gerrit osmocom-build/debian-bookworm-build /build/osmo-ci/lint/lint_diff.sh HEAD~1
Running docker_run_rm.sh on the whole tree...

Running checkpatch on 'git diff HEAD~1'...

$ ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 755207 killed;
[ssh-agent] Stopped.
Finished: SUCCESS