Skip to content
[Jenkins]Jenkins
log in

build #3

Environment variables

NameValue
BUILD_CAUSE
UPSTREAMTRIGGER
BUILD_CAUSE_UPSTREAMTRIGGER
true
BUILD_DISPLAY_NAME
#3
BUILD_ID
3
BUILD_NUMBER
3
BUILD_TAG
jenkins-isabelle-repo-afp-3
EXECUTOR_NUMBER
0
HOME
/media/data/jenkins
HUDSON_HOME
/var/lib/jenkins
HUDSON_SERVER_COOKIE
432f71ca72269e70
JENKINS_HOME
/var/lib/jenkins
JENKINS_SERVER_COOKIE
432f71ca72269e70
JOB_NAME
isabelle-repo-afp
LANG
en_GB
LOGNAME
jenkins
MAIL
/var/mail/jenkins
NODE_LABELS
lrz-cloud worker2
NODE_NAME
worker2
OLDPWD
/media/data/jenkins
PATH
/usr/local/bin:/usr/bin:/bin:/usr/games
PWD
/media/data/jenkins
ROOT_BUILD_CAUSE
MANUALTRIGGER
ROOT_BUILD_CAUSE_MANUALTRIGGER
true
SHELL
/bin/sh
SSH_CLIENT
131.159.46.7 57098 22
SSH_CONNECTION
131.159.46.7 57098 10.155.208.13 22
USER
jenkins