Started by upstream project "gerrit-osmo-gsm-manuals" build number 131
originally caused by:
 Triggered by Gerrit: https://gerrit.osmocom.org/c/osmo-gsm-manuals/+/41843 in silent mode.
Running as SYSTEM
Building on the built-in node in workspace /var/jenkins_home/jobs/gerrit-osmo-gsm-manuals-build/workspace@2
The recommended git tool is: NONE
using credential d5eda5e9-b59d-44ba-88d2-43473cb6e42d
 > git rev-parse --resolve-git-dir /var/jenkins_home/jobs/gerrit-osmo-gsm-manuals-build/workspace@2/.git # timeout=10
Fetching changes from the remote Git repository
 > git config remote.origin.url ssh://jenkins@gerrit.osmocom.org:29418/osmo-gsm-manuals # timeout=10
Fetching upstream changes from ssh://jenkins@gerrit.osmocom.org:29418/osmo-gsm-manuals
 > git --version # timeout=10
 > git --version # 'git version 2.47.3'
using GIT_SSH to set credentials gerrit.osmocom.org
Verifying host key using known hosts file, will automatically accept unseen keys
 > git fetch --tags --force --progress -- ssh://jenkins@gerrit.osmocom.org:29418/osmo-gsm-manuals refs/changes/43/41843/7 # timeout=10
 > git rev-parse FETCH_HEAD^{commit} # timeout=10
Checking out Revision efc2db30e2fb38c9aac08608d48fd367e898a81f (master)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f efc2db30e2fb38c9aac08608d48fd367e898a81f # timeout=10
Commit message: "logging: Improve file & stderr log documentation"
 > git rev-parse FETCH_HEAD^{commit} # timeout=10
 > git rev-list --no-walk 15db8af1754cad50ae37211115804ff5dfc38158 # timeout=10
Triggering gerrit-osmo-gsm-manuals-build » a1=default,a2=default,a3=default,a4=default,osmocom-gerrit
gerrit-osmo-gsm-manuals-build » a1=default,a2=default,a3=default,a4=default,osmocom-gerrit completed with result SUCCESS
Finished: SUCCESS