build #60

Environment variables

Name	Value
BUILD_CAUSE	SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER	true
BUILD_DISPLAY_NAME	#60
BUILD_ID	60
BUILD_NUMBER	60
BUILD_TAG	jenkins-isabelle-repo-checkin-60
EXECUTOR_NUMBER	1
HOME	/var/lib/jenkins
HUDSON_HOME	/var/lib/jenkins
HUDSON_SERVER_COOKIE	432f71ca72269e70
ISABELLE_REPO_AFP_BUILD_NAME	#60
ISABELLE_REPO_AFP_BUILD_NUMBER	60
ISABELLE_REPO_AFP_BUILD_RESULT	FAILURE
ISABELLE_REPO_MAKEALL_BUILD_NAME	#60
ISABELLE_REPO_MAKEALL_BUILD_NUMBER	60
ISABELLE_REPO_MAKEALL_BUILD_RESULT	SUCCESS
JENKINS_HOME	/var/lib/jenkins
JENKINS_SERVER_COOKIE	432f71ca72269e70
JOB_IS_BUILDABLE	true
JOB_NAME	isabelle-repo-checkin
JOB_STATUS	BUILD_ONLY_IF_SCM_CHANGES_DISABLED
LANG	en_US.UTF-8
LANGUAGE	en_US:
LAST_TRIGGERED_JOB_NAME	isabelle-repo-makeall
LOGNAME	jenkins
MAIL	/var/mail/jenkins
MAIN_ABORTED	0
MAIN_FAILED	1
MAIN_RESULT	FAILURE
MAIN_SKIPPED	0
MAIN_STABLE	1
MAIN_SUCCESSFUL	1
MAIN_UNSTABLE	0
MULTIJOB_ABORTED	0
MULTIJOB_FAILED	1
MULTIJOB_SKIPPED	0
MULTIJOB_STABLE	1
MULTIJOB_SUCCESSFUL	1
MULTIJOB_UNSTABLE	0
NODE_LABELS	master
NODE_NAME	master
PATH	/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games
PHASE_ABORTED	0
PHASE_FAILED	1
PHASE_RESULT	FAILURE
PHASE_SKIPPED	0
PHASE_STABLE	1
PHASE_SUCCESSFUL	1
PHASE_UNSTABLE	0
PWD	/var/lib/jenkins
ROOT_BUILD_CAUSE	SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER	true
SHELL	/bin/bash
SHLVL	1
TERM	xterm
TRIGGERED_BUILD_RUN_COUNT_ISABELLE_REPO_AFP	1
TRIGGERED_BUILD_RUN_COUNT_ISABELLE_REPO_MAKEALL	1
TRIGGERED_JOB_NAMES	isabelle-repo-afp,isabelle-repo-makeall
USER	jenkins
XDG_RUNTIME_DIR	/run/user/20109
XDG_SESSION_ID	4
_	/usr/bin/daemon