build #1082

Environment variables

Name	Value
BUILD_CAUSE	SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER	true
BUILD_DISPLAY_NAME	#1082
BUILD_ID	1082
BUILD_NUMBER	1082
BUILD_TAG	jenkins-isabelle-nightly-slow-1082
BUILD_URL	https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/1082/
EXECUTOR_NUMBER	0
HOME	/media/data/jenkins
HUDSON_HOME	/var/lib/jenkins
HUDSON_SERVER_COOKIE	89935be03e7b1021
HUDSON_URL	https://ci.isabelle.systems/jenkins/
JENKINS_HOME	/var/lib/jenkins
JENKINS_SERVER_COOKIE	89935be03e7b1021
JENKINS_URL	https://ci.isabelle.systems/jenkins/
JOB_BASE_NAME	isabelle-nightly-slow
JOB_NAME	isabelle-nightly-slow
JOB_URL	https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/
LANG	en_GB.UTF-8
LANGUAGE	en_GB:en
LOGNAME	jenkins
MAIL	/var/mail/jenkins
NODE_LABELS	lrz-cloud workerlrz5
NODE_NAME	workerlrz5
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
RUN_DISPLAY_URL	https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/1082/display/redirect
SHELL	/bin/sh
SSH_CLIENT	131.159.47.3 45754 22
SSH_CONNECTION	131.159.47.3 45754 10.155.208.82 22
USER	jenkins
XDG_RUNTIME_DIR	/run/user/902
XDG_SESSION_ID	2