build #258

Environment variables

Name	Value
BUILD_CAUSE	UPSTREAMTRIGGER
BUILD_CAUSE_UPSTREAMTRIGGER	true
BUILD_DISPLAY_NAME	#258
BUILD_ID	258
BUILD_NUMBER	258
BUILD_TAG	jenkins-isabelle-repo-makeall-258
BUILD_URL	https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/258/
EXECUTOR_NUMBER	0
HOME	/media/data/jenkins
HUDSON_HOME	/var/lib/jenkins
HUDSON_SERVER_COOKIE	432f71ca72269e70
HUDSON_URL	https://ci.isabelle.systems/jenkins/
ISABELLE_CI_PLATFORM	32
JENKINS_HOME	/var/lib/jenkins
JENKINS_SERVER_COOKIE	432f71ca72269e70
JENKINS_URL	https://ci.isabelle.systems/jenkins/
JOB_NAME	isabelle-repo-makeall
JOB_URL	https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/
LANG	en_GB
LOGNAME	jenkins
MAIL	/var/mail/jenkins
MERCURIAL_REPOSITORY_URL	http://isabelle.in.tum.de/repos/isabelle/
MERCURIAL_REVISION	83a91a73fcb551bcf6fdaa8887a11d4d866cea40
MERCURIAL_REVISION_NUMBER	63327
MERCURIAL_REVISION_SHORT	83a91a73fcb5
NODE_LABELS	lrz-cloud worker4
NODE_NAME	worker4
OLDPWD	/media/data/jenkins
PATH	/usr/local/bin:/usr/bin:/bin:/usr/games
PWD	/media/data/jenkins
ROOT_BUILD_CAUSE	SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER	true
SHELL	/bin/sh
SSH_CLIENT	131.159.46.7 40272 22
SSH_CONNECTION	131.159.46.7 40272 10.155.208.98 22
USER	jenkins
WORKSPACE	/media/data/jenkins/workspace/isabelle-repo-makeall