build #20

Environment variables

Name	Value
BUILD_CAUSE	SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER	true
BUILD_DISPLAY_NAME	#20
BUILD_ID	20
BUILD_NUMBER	20
BUILD_TAG	jenkins-afp_testboard-20
BUILD_URL	https://ci.isabelle.systems/jenkins/job/afp_testboard/20/
EXECUTOR_NUMBER	0
HOME	/media/data/jenkins
HUDSON_HOME	/var/lib/jenkins
HUDSON_SERVER_COOKIE	89935be03e7b1021
HUDSON_URL	https://ci.isabelle.systems/jenkins/
ISABELLE_CI_TESTBOARD	true
JENKINS_HOME	/var/lib/jenkins
JENKINS_SERVER_COOKIE	89935be03e7b1021
JENKINS_URL	https://ci.isabelle.systems/jenkins/
JOB_BASE_NAME	afp_testboard
JOB_NAME	afp_testboard
JOB_URL	https://ci.isabelle.systems/jenkins/job/afp_testboard/
LANG	de_DE.UTF-8
LOGNAME	jenkins
MERCURIAL_REPOSITORY_URL	https://foss.heptapod.net/isa-afp/afp-testboard/
MERCURIAL_REVISION	6328e25d6d57bce4c1e5f02a034e7c4a825d2514
MERCURIAL_REVISION_NUMBER	12893
MERCURIAL_REVISION_SHORT	6328e25d6d57
MOTD_SHOWN	pam
NODE_LABELS	mta_big workermta1
NODE_NAME	workermta1
OLDPWD	/media/data/jenkins
PATH	/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
PWD	/media/data/jenkins
ROOT_BUILD_CAUSE	SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER	true
RUN_DISPLAY_URL	https://ci.isabelle.systems/jenkins/job/afp_testboard/20/display/redirect
SHELL	/bin/sh
SSH_CLIENT	131.159.47.3 58766 22
SSH_CONNECTION	131.159.47.3 58766 131.159.46.138 22
USER	jenkins
WORKSPACE	/media/data/jenkins/workspace/afp_testboard
XDG_RUNTIME_DIR	/run/user/902
XDG_SESSION_CLASS	user
XDG_SESSION_ID	293922
XDG_SESSION_TYPE	tty