Skip to content

build #206

Environment variables

NameValue
BUILD_CAUSE
UPSTREAMTRIGGER
BUILD_CAUSE_UPSTREAMTRIGGER
true
BUILD_DISPLAY_NAME
#206
BUILD_ID
206
BUILD_NUMBER
206
BUILD_TAG
jenkins-isabelle-repo-makeall-206
BUILD_URL
https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/206/
EXECUTOR_NUMBER
0
HOME
/media/data/jenkins
HUDSON_HOME
/var/lib/jenkins
HUDSON_SERVER_COOKIE
432f71ca72269e70
HUDSON_URL
https://ci.isabelle.systems/jenkins/
ISABELLE_CI_PLATFORM
32
JENKINS_HOME
/var/lib/jenkins
JENKINS_SERVER_COOKIE
432f71ca72269e70
JENKINS_URL
https://ci.isabelle.systems/jenkins/
JOB_NAME
isabelle-repo-makeall
JOB_URL
https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/
LANG
en_GB
LOGNAME
jenkins
MAIL
/var/mail/jenkins
MERCURIAL_REPOSITORY_URL
http://isabelle.in.tum.de/repos/isabelle/
MERCURIAL_REVISION
c12845e8e80a664611f0b437709c2ff21be183f1
MERCURIAL_REVISION_NUMBER
63165
MERCURIAL_REVISION_SHORT
c12845e8e80a
NODE_LABELS
lrz-cloud worker1
NODE_NAME
worker1
OLDPWD
/media/data/jenkins
PATH
/usr/local/bin:/usr/bin:/bin:/usr/games
PWD
/media/data/jenkins
ROOT_BUILD_CAUSE
SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER
true
SHELL
/bin/sh
SSH_CLIENT
131.159.46.7 50062 22
SSH_CONNECTION
131.159.46.7 50062 10.155.208.82 22
USER
jenkins
WORKSPACE
/media/data/jenkins/workspace/isabelle-repo-makeall