build #468
Environment variables
Name | Value |
---|---|
BUILD_CAUSE | SCMTRIGGER |
BUILD_CAUSE_SCMTRIGGER | true |
BUILD_DISPLAY_NAME | |
BUILD_ID | 468 |
BUILD_NUMBER | 468 |
BUILD_TAG | jenkins |
BUILD_URL | https |
EXECUTOR_NUMBER | 3 |
HOME | |
HUDSON_HOME | |
HUDSON_SERVER_COOKIE | 70ecbe83bfb2f4a1 |
HUDSON_URL | https |
ISABELLE_REPO_AFP_BUILD_NAME | |
ISABELLE_REPO_AFP_BUILD_NUMBER | 468 |
ISABELLE_REPO_AFP_BUILD_RESULT | SUCCESS |
ISABELLE_REPO_MAKEALL_BUILD_NAME | |
ISABELLE_REPO_MAKEALL_BUILD_NUMBER | 468 |
ISABELLE_REPO_MAKEALL_BUILD_RESULT | SUCCESS |
JENKINS_HOME | |
JENKINS_SERVER_COOKIE | 70ecbe83bfb2f4a1 |
JENKINS_URL | https |
JOB_BASE_NAME | isabelle |
JOB_IS_BUILDABLE | true |
JOB_NAME | isabelle |
JOB_STATUS | BUILD |
JOB_URL | https |
LANG | en |
LANGUAGE | en |
LAST_TRIGGERED_JOB_NAME | isabelle |
LOGNAME | jenkins |
MAIN_ABORTED | 0 |
MAIN_FAILED | 0 |
MAIN_RESULT | SUCCESS |
MAIN_SKIPPED | 0 |
MAIN_STABLE | 2 |
MAIN_SUCCESSFUL | 2 |
MAIN_UNSTABLE | 0 |
MULTIJOB_ABORTED | 0 |
MULTIJOB_FAILED | 0 |
MULTIJOB_SKIPPED | 0 |
MULTIJOB_STABLE | 2 |
MULTIJOB_SUCCESSFUL | 2 |
MULTIJOB_UNSTABLE | 0 |
NODE_LABELS | master |
NODE_NAME | master |
PATH | |
PHASE_ABORTED | 0 |
PHASE_FAILED | 0 |
PHASE_RESULT | SUCCESS |
PHASE_SKIPPED | 0 |
PHASE_STABLE | 2 |
PHASE_SUCCESSFUL | 2 |
PHASE_UNSTABLE | 0 |
PWD | |
ROOT_BUILD_CAUSE | SCMTRIGGER |
ROOT_BUILD_CAUSE_SCMTRIGGER | true |
SHELL | |
SHLVL | 1 |
TRIGGERED_BUILD_RUN_COUNT_ISABELLE_REPO_AFP | 1 |
TRIGGERED_BUILD_RUN_COUNT_ISABELLE_REPO_MAKEALL | 1 |
TRIGGERED_JOB_NAMES | isabelle |
USER | jenkins |
XDG_RUNTIME_DIR | |
XDG_SESSION_ID | c1 |
_ |