Started by upstream project "<a href='/jenkins/job/gerrit-osmo-e1d/' class='jenkins-table__link model-link model-link--float'>gerrit-osmo-e1d</a>" build number <a href='/jenkins/job/gerrit-osmo-e1d/133' class='jenkins-table__link model-link model-link--float'>133</a>
originally caused by:
 Triggered by Gerrit: <a href='https://gerrit.osmocom.org/c/osmo-e1d/+/39105'>https://gerrit.osmocom.org/c/osmo-e1d/+/39105</a> in silent mode.
Running as SYSTEM
Building remotely on <a href='/jenkins/computer/build4-deb12build-ansible' class='jenkins-table__link model-link model-link--float'>build4-deb12build-ansible</a> (ttcn3 obs ttcn3_with_linux_6.1_or_higher qemu 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-XXXXXX2DiI94/agent.396559
SSH_AGENT_PID=396562
[ssh-agent] Started.
Running ssh-add (command line suppressed)
Identity added: /home/osmocom-build/jenkins/workspace/gerrit-lint@tmp/private_key_13280361902721298407.key (/home/osmocom-build/jenkins/workspace/gerrit-lint@tmp/private_key_13280361902721298407.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/osmo-e1d
 &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/osmo-e1d
 &gt; git --version # timeout=10
 &gt; git --version # 'git version 2.39.2'
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/osmo-e1d +refs/heads/*:refs/remotes/origin/* # timeout=10
 &gt; git config remote.origin.url ssh://jenkins@gerrit.osmocom.org:29418/osmo-e1d # 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/osmo-e1d # timeout=10
Fetching upstream changes from ssh://jenkins@gerrit.osmocom.org:29418/osmo-e1d
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/osmo-e1d refs/changes/05/39105/1 # timeout=10
 &gt; git rev-parse FETCH_HEAD^{commit} # timeout=10
Checking out Revision 1a807cc0100d6f537f122a385f72a84e6dc0d161 (master)
 &gt; git config core.sparsecheckout # timeout=10
 &gt; git checkout -f 1a807cc0100d6f537f122a385f72a84e6dc0d161 # timeout=10
Commit message: "jenkins.sh: Use --disable-doxygen configure param"
 &gt; git rev-parse FETCH_HEAD^{commit} # timeout=10
 &gt; git rev-list --no-walk e11e77868a96f3bcec436ed5ccc34824b60dc6f1 # timeout=10
<div style="display:none" data-ansicolor-action="d7401e79-e13f-4bef-bfbf-088cde7e5eee"></div>[gerrit-lint] $ /bin/sh -xe /tmp/jenkins8600604402226630530.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
6ff186a scripts/build-old-tags: ignore osmo-bsc 1.12.2
+ cd code-from-gerrit
+ ../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 396562 killed;
[ssh-agent] Stopped.
Finished: SUCCESS