build #574
Environment variables
Name | Value |
---|---|
BUILD_CAUSE | SCMTRIGGER |
BUILD_CAUSE_SCMTRIGGER | true |
BUILD_DISPLAY_NAME | |
BUILD_ID | 574 |
BUILD_NUMBER | 574 |
BUILD_TAG | jenkins |
BUILD_URL | https |
EXECUTOR_NUMBER | 0 |
HOME | |
HUDSON_HOME | |
HUDSON_SERVER_COOKIE | 89935be03e7b1021 |
HUDSON_URL | https |
JENKINS_HOME | |
JENKINS_SERVER_COOKIE | 89935be03e7b1021 |
JENKINS_URL | https |
JOB_BASE_NAME | isabelle |
JOB_NAME | isabelle |
JOB_URL | https |
LANG | en |
LANGUAGE | en |
LC_ADDRESS | de |
LC_IDENTIFICATION | de |
LC_MEASUREMENT | de |
LC_MONETARY | de |
LC_NAME | de |
LC_NUMERIC | de |
LC_PAPER | de |
LC_TELEPHONE | de |
LC_TIME | de |
LOGNAME | jenkins |
MOTD_SHOWN | pam |
NODE_LABELS | workerls21cluster cluster |
NODE_NAME | workerls21cluster |
OLDPWD | |
PATH | |
PWD | |
ROOT_BUILD_CAUSE | SCMTRIGGER |
ROOT_BUILD_CAUSE_SCMTRIGGER | true |
RUN_DISPLAY_URL | https |
SHELL | |
SHLVL | 0 |
SSH_CLIENT | 131 |
SSH_CONNECTION | 131 |
USER | jenkins |
XDG_RUNTIME_DIR | |
XDG_SESSION_CLASS | user |
XDG_SESSION_ID | 61076 |
XDG_SESSION_TYPE | tty |
_ |