build #239

Environment variables

Name	Value
BUILD_CAUSE	SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER	true
BUILD_DISPLAY_NAME	#239
BUILD_ID	239
BUILD_NUMBER	239
BUILD_TAG	jenkins-isabelle-nightly-benchmark-239
BUILD_URL	https://ci.isabelle.systems/jenkins/job/isabelle-nightly-benchmark/239/
EXECUTOR_NUMBER	0
HOME	/media/data/jenkins
HUDSON_HOME	/var/lib/jenkins
HUDSON_SERVER_COOKIE	70ecbe83bfb2f4a1
HUDSON_URL	https://ci.isabelle.systems/jenkins/
ISABELLE_CI_PLATFORM	32
JENKINS_HOME	/var/lib/jenkins
JENKINS_SERVER_COOKIE	70ecbe83bfb2f4a1
JENKINS_URL	https://ci.isabelle.systems/jenkins/
JOB_BASE_NAME	isabelle-nightly-benchmark
JOB_NAME	isabelle-nightly-benchmark
JOB_URL	https://ci.isabelle.systems/jenkins/job/isabelle-nightly-benchmark/
LANG	de_DE.UTF-8
LOGNAME	jenkins
MAIL	/var/mail/jenkins
MERCURIAL_REPOSITORY_URL	http://isabelle.in.tum.de/repos/isabelle/
MERCURIAL_REVISION	7c340dcbc323e22b7fe3a33a98829e1e125f7bf7
MERCURIAL_REVISION_NUMBER	64923
MERCURIAL_REVISION_SHORT	7c340dcbc323
NODE_LABELS	mta_small workermta3
NODE_NAME	workermta3
OLDPWD	/media/data/jenkins
PATH	/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
PWD	/media/data/jenkins
ROOT_BUILD_CAUSE	SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER	true
SHELL	/bin/sh
SSH_CLIENT	131.159.46.85 57232 22
SSH_CONNECTION	131.159.46.85 57232 131.159.46.146 22
USER	jenkins
WORKSPACE	/media/data/jenkins/workspace/isabelle-nightly-benchmark
XDG_RUNTIME_DIR	/run/user/902
XDG_SESSION_ID	11