[Jenkins]Jenkins
log in

build #3844

Environment variables

NameValue
BUILD_CAUSESCMTRIGGER
BUILD_CAUSE_SCMTRIGGERtrue
BUILD_DISPLAY_NAME#3844
BUILD_ID3844
BUILD_NUMBER3844
BUILD_TAGjenkins-isabelle-all-3844
BUILD_URLhttps://ci.isabelle.systems/jenkins/job/isabelle-all/3844/
DBUS_SESSION_BUS_ADDRESSunix:path=/run/user/902/bus
EXECUTOR_NUMBER0
HOME/media/data/jenkins
HUDSON_HOME/var/lib/jenkins
HUDSON_SERVER_COOKIE89935be03e7b1021
HUDSON_URLhttps://ci.isabelle.systems/jenkins/
JENKINS_HOME/var/lib/jenkins
JENKINS_SERVER_COOKIE89935be03e7b1021
JENKINS_URLhttps://ci.isabelle.systems/jenkins/
JOB_BASE_NAMEisabelle-all
JOB_NAMEisabelle-all
JOB_URLhttps://ci.isabelle.systems/jenkins/job/isabelle-all/
LANGde_DE.UTF-8
LOGNAMEjenkins
MOTD_SHOWNpam
NODE_LABELSmta_hpc workermtahpc
NODE_NAMEworkermtahpc
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_CAUSESCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGERtrue
RUN_ARTIFACTS_DISPLAY_URLhttps://ci.isabelle.systems/jenkins/job/isabelle-all/3844/display/redirect?page=artifacts
RUN_CHANGES_DISPLAY_URLhttps://ci.isabelle.systems/jenkins/job/isabelle-all/3844/display/redirect?page=changes
RUN_DISPLAY_URLhttps://ci.isabelle.systems/jenkins/job/isabelle-all/3844/display/redirect
RUN_TESTS_DISPLAY_URLhttps://ci.isabelle.systems/jenkins/job/isabelle-all/3844/display/redirect?page=tests
SHELL/bin/sh
SSH_CLIENT131.159.47.3 48640 22
SSH_CONNECTION131.159.47.3 48640 131.159.46.196 22
USERjenkins
XDG_RUNTIME_DIR/run/user/902
XDG_SESSION_CLASSuser
XDG_SESSION_ID5542
XDG_SESSION_TYPEtty