Skip to content
[Jenkins]Jenkins
log in

build #878

Environment variables

NameValue
BUILD_CAUSE
SCMTRIGGER
BUILD_CAUSE_SCMTRIGGER
true
BUILD_DISPLAY_NAME
#878
BUILD_ID
878
BUILD_NUMBER
878
BUILD_TAG
jenkins-isabelle-notify-878
BUILD_URL
https://ci.isabelle.systems/jenkins/job/isabelle-notify/878/
DBUS_SESSION_BUS_ADDRESS
unix:path=/run/user/902/bus
EXECUTOR_NUMBER
0
GIT_BRANCH
origin/master
GIT_CHECKOUT_DIR
itc
GIT_COMMIT
c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d
GIT_PREVIOUS_COMMIT
c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d
GIT_PREVIOUS_SUCCESSFUL_COMMIT
c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d
GIT_URL
https://github.com/isabelle-prover/isabelle-tools-collection.git
HOME
/media/data/jenkins
HUDSON_HOME
/var/lib/jenkins
HUDSON_SERVER_COOKIE
89935be03e7b1021
HUDSON_URL
https://ci.isabelle.systems/jenkins/
ITC
true
JENKINS_HOME
/var/lib/jenkins
JENKINS_SERVER_COOKIE
89935be03e7b1021
JENKINS_URL
https://ci.isabelle.systems/jenkins/
JOB_BASE_NAME
isabelle-notify
JOB_NAME
isabelle-notify
JOB_URL
https://ci.isabelle.systems/jenkins/job/isabelle-notify/
LANG
de_DE.UTF-8
LOGNAME
jenkins
MERCURIAL_REPOSITORY_URL
https://isabelle.in.tum.de/repos/isabelle/
MERCURIAL_REVISION
96f60533ec1da892b07f957eeafed0597acbaa43
MERCURIAL_REVISION_NUMBER
80150
MERCURIAL_REVISION_SHORT
96f60533ec1d
MOTD_SHOWN
pam
NODE_LABELS
workermtahpc mta_hpc
NODE_NAME
workermtahpc
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_ARTIFACTS_DISPLAY_URL
https://ci.isabelle.systems/jenkins/job/isabelle-notify/878/display/redirect?page=artifacts
RUN_CHANGES_DISPLAY_URL
https://ci.isabelle.systems/jenkins/job/isabelle-notify/878/display/redirect?page=changes
RUN_DISPLAY_URL
https://ci.isabelle.systems/jenkins/job/isabelle-notify/878/display/redirect
RUN_TESTS_DISPLAY_URL
https://ci.isabelle.systems/jenkins/job/isabelle-notify/878/display/redirect?page=tests
SHELL
/bin/sh
SSH_CLIENT
131.159.47.3 60748 22
SSH_CONNECTION
131.159.47.3 60748 131.159.46.196 22
USER
jenkins
WORKSPACE
/media/data/jenkins/workspace/isabelle-notify
XDG_RUNTIME_DIR
/run/user/902
XDG_SESSION_CLASS
user
XDG_SESSION_ID
7684
XDG_SESSION_TYPE
tty