build #252
Environment variables
Name | Value |
---|---|
BUILD_CAUSE | UPSTREAMTRIGGER |
BUILD_CAUSE_UPSTREAMTRIGGER | true |
BUILD_DISPLAY_NAME | |
BUILD_ID | 252 |
BUILD_NUMBER | 252 |
BUILD_TAG | jenkins |
BUILD_URL | https |
EXECUTOR_NUMBER | 0 |
HOME | |
HUDSON_HOME | |
HUDSON_SERVER_COOKIE | 432f71ca72269e70 |
HUDSON_URL | https |
ISABELLE_CI_PLATFORM | 32 |
JENKINS_HOME | |
JENKINS_SERVER_COOKIE | 432f71ca72269e70 |
JENKINS_URL | https |
JOB_NAME | isabelle |
JOB_URL | https |
LANG | en |
LOGNAME | jenkins |
MERCURIAL_REPOSITORY_URL | http |
MERCURIAL_REVISION | a77adb28a27a284b1dcc |
MERCURIAL_REVISION_NUMBER | 63309 |
MERCURIAL_REVISION_SHORT | a77adb28a27a |
NODE_LABELS | lrz |
NODE_NAME | worker2 |
OLDPWD | |
PATH | |
PWD | |
ROOT_BUILD_CAUSE | SCMTRIGGER |
ROOT_BUILD_CAUSE_SCMTRIGGER | true |
SHELL | |
SSH_CLIENT | 131 |
SSH_CONNECTION | 131 |
USER | jenkins |
WORKSPACE |