Skip to content

build #2035

Environment variables

NameValue
BUILD_CAUSE
SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER
true
BUILD_DISPLAY_NAME
#2035
BUILD_ID
2035
BUILD_NUMBER
2035
BUILD_TAG
jenkins-isabelle-nightly-slow-2035
BUILD_URL
https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/2035/
EXECUTOR_NUMBER
0
HOME
/media/data/jenkins
HUDSON_HOME
/var/lib/jenkins
HUDSON_SERVER_COOKIE
89935be03e7b1021
HUDSON_URL
https://ci.isabelle.systems/jenkins/
JENKINS_HOME
/var/lib/jenkins
JENKINS_SERVER_COOKIE
89935be03e7b1021
JENKINS_URL
https://ci.isabelle.systems/jenkins/
JOB_BASE_NAME
isabelle-nightly-slow
JOB_NAME
isabelle-nightly-slow
JOB_URL
https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/
LANG
C.UTF-8
LOGNAME
jenkins
MOTD_SHOWN
pam
NODE_LABELS
lrz-cloud workerlrz5
NODE_NAME
workerlrz5
OLDPWD
/media/data/jenkins
PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
PWD
/media/data/jenkins
ROOT_BUILD_CAUSE
SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER
true
RUN_DISPLAY_URL
https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/2035/display/redirect
SHELL
/bin/sh
SSH_CLIENT
131.159.47.3 45864 22
SSH_CONNECTION
131.159.47.3 45864 192.168.2.72 22
USER
jenkins
XDG_RUNTIME_DIR
/run/user/902
XDG_SESSION_CLASS
user
XDG_SESSION_ID
359
XDG_SESSION_TYPE
tty