build #1772

Environment variables

Name	Value
BUILD_CAUSE	SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER	true
BUILD_DISPLAY_NAME	#1772
BUILD_ID	1772
BUILD_NUMBER	1772
BUILD_TAG	jenkins-isabelle-repo-1772
BUILD_URL	https://ci.isabelle.systems/jenkins/job/isabelle-repo/1772/
EXECUTOR_NUMBER	1
HOME	/var/lib/jenkins
HUDSON_HOME	/var/lib/jenkins
HUDSON_SERVER_COOKIE	70ecbe83bfb2f4a1
HUDSON_URL	https://ci.isabelle.systems/jenkins/
ISABELLE_REPO_AFP_BUILD_NAME	#1772
ISABELLE_REPO_AFP_BUILD_NUMBER	1772
ISABELLE_REPO_AFP_BUILD_RESULT	SUCCESS
ISABELLE_REPO_MAKEALL_BUILD_NAME	#1772
ISABELLE_REPO_MAKEALL_BUILD_NUMBER	1772
ISABELLE_REPO_MAKEALL_BUILD_RESULT	SUCCESS
JENKINS_HOME	/var/lib/jenkins
JENKINS_SERVER_COOKIE	70ecbe83bfb2f4a1
JENKINS_URL	https://ci.isabelle.systems/jenkins/
JOB_BASE_NAME	isabelle-repo
JOB_IS_BUILDABLE	true
JOB_NAME	isabelle-repo
JOB_STATUS	BUILD_ONLY_IF_SCM_CHANGES_DISABLED
JOB_URL	https://ci.isabelle.systems/jenkins/job/isabelle-repo/
LANG	en_US
LANGUAGE	en_US:
LAST_TRIGGERED_JOB_NAME	isabelle-repo-afp
LOGNAME	jenkins
MAIL	/var/mail/jenkins
MAIN_ABORTED	0
MAIN_FAILED	0
MAIN_RESULT	SUCCESS
MAIN_SKIPPED	0
MAIN_STABLE	2
MAIN_SUCCESSFUL	2
MAIN_UNSTABLE	0
MULTIJOB_ABORTED	0
MULTIJOB_FAILED	0
MULTIJOB_SKIPPED	0
MULTIJOB_STABLE	2
MULTIJOB_SUCCESSFUL	2
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	0
PHASE_RESULT	SUCCESS
PHASE_SKIPPED	0
PHASE_STABLE	2
PHASE_SUCCESSFUL	2
PHASE_UNSTABLE	0
PWD	/var/lib/jenkins
ROOT_BUILD_CAUSE	SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER	true
RUN_DISPLAY_URL	https://ci.isabelle.systems/jenkins/job/isabelle-repo/1772/display/redirect
SHELL	/bin/bash
SHLVL	1
TRIGGERED_BUILD_RUN_COUNT_ISABELLE_REPO_AFP	1
TRIGGERED_BUILD_RUN_COUNT_ISABELLE_REPO_MAKEALL	1
TRIGGERED_JOB_NAMES	isabelle-repo-makeall,isabelle-repo-afp
USER	jenkins
XDG_RUNTIME_DIR	/run/user/111
XDG_SESSION_ID	c1
_	/usr/bin/daemon