Skip to content
[Jenkins]Jenkins
log in

build #1712

Environment variables

NameValue
AFP_REPO_AFP_BUILD_NAME
#1712
AFP_REPO_AFP_BUILD_NUMBER
1712
AFP_REPO_AFP_BUILD_RESULT
FAILURE
BUILD_CAUSE
SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER
true
BUILD_DISPLAY_NAME
#1712
BUILD_ID
1712
BUILD_NUMBER
1712
BUILD_TAG
jenkins-afp-repo-1712
BUILD_URL
https://ci.isabelle.systems/jenkins/job/afp-repo/1712/
EXECUTOR_NUMBER
2
HOME
/var/lib/jenkins
HUDSON_HOME
/var/lib/jenkins
HUDSON_SERVER_COOKIE
70ecbe83bfb2f4a1
HUDSON_URL
https://ci.isabelle.systems/jenkins/
JENKINS_HOME
/var/lib/jenkins
JENKINS_SERVER_COOKIE
70ecbe83bfb2f4a1
JENKINS_URL
https://ci.isabelle.systems/jenkins/
JOB_BASE_NAME
afp-repo
JOB_IS_BUILDABLE
true
JOB_NAME
afp-repo
JOB_STATUS
BUILD_ONLY_IF_SCM_CHANGES_DISABLED
JOB_URL
https://ci.isabelle.systems/jenkins/job/afp-repo/
LANG
en_US
LANGUAGE
en_US:
LAST_TRIGGERED_JOB_NAME
afp-repo-afp
LOGNAME
jenkins
MAIL
/var/mail/jenkins
MAIN_ABORTED
0
MAIN_FAILED
1
MAIN_RESULT
FAILURE
MAIN_SKIPPED
0
MAIN_STABLE
0
MAIN_SUCCESSFUL
0
MAIN_UNSTABLE
0
MULTIJOB_ABORTED
0
MULTIJOB_FAILED
1
MULTIJOB_SKIPPED
0
MULTIJOB_STABLE
0
MULTIJOB_SUCCESSFUL
0
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
0
PHASE_SUCCESSFUL
0
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/afp-repo/1712/display/redirect
SHELL
/bin/bash
SHLVL
1
TRIGGERED_BUILD_RUN_COUNT_AFP_REPO_AFP
1
TRIGGERED_JOB_NAMES
afp-repo-afp
USER
jenkins
XDG_RUNTIME_DIR
/run/user/111
XDG_SESSION_ID
c1
_
/usr/bin/daemon