Build #132

Environment variables

NameValue
BUILD_CAUSEMANUALTRIGGER
BUILD_CAUSE_MANUALTRIGGERtrue
BUILD_DISPLAY_NAME#132
BUILD_ID132
BUILD_NUMBER132
BUILD_TAGjenkins-push-comment-github-132
BUILD_URLhttps://ci.inria.fr/sos/job/push-comment-github/132/
EXECUTOR_NUMBER0
HOME/builds
HUDSON_HOME/net/www/ci/sos
HUDSON_SERVER_COOKIE93018fdaa9a73e2a
HUDSON_URLhttps://ci.inria.fr/sos/
JENKINS_HOME/net/www/ci/sos
JENKINS_SERVER_COOKIE93018fdaa9a73e2a
JENKINS_URLhttps://ci.inria.fr/sos/
JOB_BASE_NAMEpush-comment-github
JOB_NAMEpush-comment-github
JOB_URLhttps://ci.inria.fr/sos/job/push-comment-github/
LANGen_US
LANGUAGEen_US:
LOGNAMEci
MAIL/var/mail/ci
NODE_LABELSlin sos-builder01
NODE_NAMEsos-builder01
OLDPWD/builds
PATH/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
PWD/builds
ROOT_BUILD_CAUSEMANUALTRIGGER
ROOT_BUILD_CAUSE_MANUALTRIGGERtrue
RUN_DISPLAY_URLhttps://ci.inria.fr/sos/job/push-comment-github/132/display/redirect
SHELL/bin/bash
SHLVL1
SSH_CLIENT172.21.1.13 52898 22
SSH_CONNECTION172.21.1.13 52898 172.21.13.162 22
USERci
XDG_RUNTIME_DIR/run/user/1000
XDG_SESSION_ID3522
_/usr/bin/java
pull_requestfalse
revapi_report.mdrevapi_report.md