BUILD_CAUSE | SCMTRIGGER |
BUILD_CAUSE_SCMTRIGGER | true |
BUILD_DISPLAY_NAME | #3844 |
BUILD_ID | 3844 |
BUILD_NUMBER | 3844 |
BUILD_TAG | jenkins-isabelle-all-3844 |
BUILD_URL | https://ci.isabelle.systems/jenkins/job/isabelle-all/3844/ |
DBUS_SESSION_BUS_ADDRESS | unix:path=/run/user/902/bus |
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-all |
JOB_NAME | isabelle-all |
JOB_URL | https://ci.isabelle.systems/jenkins/job/isabelle-all/ |
LANG | de_DE.UTF-8 |
LOGNAME | jenkins |
MOTD_SHOWN | pam |
NODE_LABELS | mta_hpc workermtahpc |
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-all/3844/display/redirect?page=artifacts |
RUN_CHANGES_DISPLAY_URL | https://ci.isabelle.systems/jenkins/job/isabelle-all/3844/display/redirect?page=changes |
RUN_DISPLAY_URL | https://ci.isabelle.systems/jenkins/job/isabelle-all/3844/display/redirect |
RUN_TESTS_DISPLAY_URL | https://ci.isabelle.systems/jenkins/job/isabelle-all/3844/display/redirect?page=tests |
SHELL | /bin/sh |
SSH_CLIENT | 131.159.47.3 48640 22 |
SSH_CONNECTION | 131.159.47.3 48640 131.159.46.196 22 |
USER | jenkins |
XDG_RUNTIME_DIR | /run/user/902 |
XDG_SESSION_CLASS | user |
XDG_SESSION_ID | 5542 |
XDG_SESSION_TYPE | tty |