Skip to content
[Jenkins]Jenkins
log in

build #1713

Environment variables

NameValue
AFP_REPO_AFP_BUILD_NAME
#1713
AFP_REPO_AFP_BUILD_NUMBER
1713
AFP_REPO_AFP_BUILD_RESULT
SUCCESS
BUILD_CAUSE
SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER
true
BUILD_DISPLAY_NAME
#1713
BUILD_ID
1713
BUILD_NUMBER
1713
BUILD_TAG
jenkins-afp-repo-1713
BUILD_URL
https://ci.isabelle.systems/jenkins/job/afp-repo/1713/
EXECUTOR_NUMBER
0
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
0
MAIN_RESULT
SUCCESS
MAIN_SKIPPED
0
MAIN_STABLE
1
MAIN_SUCCESSFUL
1
MAIN_UNSTABLE
0
MULTIJOB_ABORTED
0
MULTIJOB_FAILED
0
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
0
PHASE_RESULT
SUCCESS
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/afp-repo/1713/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