Skip to content
[Jenkins]Jenkins
log in

build #1341

Environment variables

NameValue
AFP_REVISION
c1bc6a2cb9557dfb8b4920a45927e687fd68af3a
BUILD_CAUSE
UPSTREAMTRIGGER
BUILD_CAUSE_UPSTREAMTRIGGER
true
BUILD_DISPLAY_NAME
#1341
BUILD_ID
1341
BUILD_NUMBER
1341
BUILD_TAG
jenkins-afp-repo-afp-1341
BUILD_URL
https://ci.isabelle.systems/jenkins/job/afp-repo-afp/1341/
EXECUTOR_NUMBER
0
HOME
/media/data/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-afp
JOB_NAME
afp-repo-afp
JOB_URL
https://ci.isabelle.systems/jenkins/job/afp-repo-afp/
LANG
de_DE.UTF-8
LOGNAME
jenkins
MAIL
/var/mail/jenkins
NODE_LABELS
mta_big workermta1
NODE_NAME
workermta1
OLDPWD
/media/data/jenkins
PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
PWD
/media/data/jenkins
ROOT_BUILD_CAUSE
SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER
true
RUN_DISPLAY_URL
https://ci.isabelle.systems/jenkins/job/afp-repo-afp/1341/display/redirect
SHELL
/bin/sh
SSH_CLIENT
131.159.46.85 45808 22
SSH_CONNECTION
131.159.46.85 45808 131.159.46.138 22
USER
jenkins
XDG_RUNTIME_DIR
/run/user/902
XDG_SESSION_ID
5906