Skip to content

build #1773

Environment variables

NameValue
BUILD_CAUSE
SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER
true
BUILD_DISPLAY_NAME
#1773
BUILD_ID
1773
BUILD_NUMBER
1773
BUILD_TAG
jenkins-isabelle-repo-1773
BUILD_URL
https://ci.isabelle.systems/jenkins/job/isabelle-repo/1773/
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
#1773
ISABELLE_REPO_AFP_BUILD_NUMBER
1773
ISABELLE_REPO_AFP_BUILD_RESULT
FAILURE
ISABELLE_REPO_MAKEALL_BUILD_NAME
#1773
ISABELLE_REPO_MAKEALL_BUILD_NUMBER
1773
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
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
RUN_DISPLAY_URL
https://ci.isabelle.systems/jenkins/job/isabelle-repo/1773/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