| ANT_HOME | /usr/share/ant |
| BUILD_CAUSE | TIMERTRIGGER |
| BUILD_CAUSE_TIMERTRIGGER | true |
| BUILD_DISPLAY_NAME | #2392 |
| BUILD_ID | 2392 |
| BUILD_NUMBER | 2392 |
| BUILD_TAG | jenkins-SMTInterpol-2392 |
| BUILD_URL | http://monteverdi.informatik.uni-freiburg.de/ci/job/SMTInterpol/2392/ |
| CLASSPATH | /usr/share/tomcat-8.5/bin/bootstrap.jar:/usr/share/tomcat-8.5/bin/tomcat-juli.jar |
| CONFIG_PROTECT | /usr/share/maven-bin-3.8/conf /usr/share/gnupg/qualified.txt /var/spool/munin-async/.ssh |
| CONFIG_PROTECT_MASK | /etc/sandbox.d /etc/php/cli-php8.1/ext-active/ /etc/php/cgi-php8.1/ext-active/ /etc/php/apache2-php8.1/ext-active/ /etc/php/fpm-php8.1/ext-active/ /etc/php/phpdbg-php8.1/ext-active/ /etc/fonts/fonts.conf /etc/gentoo-release /etc/terminfo /etc/ca-certificates.conf /etc/revdep-rebuild |
| CPACHECKER_HOME | |
| EINFO_LASTCMD | ewarn |
| EINFO_LOG | /etc/init.d/tomcat-8-ci |
| EINFO_QUIET | YES |
| EXECUTOR_NUMBER | 0 |
| GCC_SPECS | |
| HOME | /storage/jenkins |
| HUDSON_HOME | /storage/jenkins/jenkins_home |
| HUDSON_SERVER_COOKIE | bf8f15feac7abac6 |
| HUDSON_URL | http://monteverdi.informatik.uni-freiburg.de/ci/ |
| INFOPATH | /usr/share/gcc-data/x86_64-pc-linux-gnu/11/info:/usr/share/binutils-data/x86_64-pc-linux-gnu/2.38/info:/usr/share/autoconf-2.71/info:/usr/share/info |
| JAVA_HOME | /usr/lib64/openjdk-8 |
| JENKINS_HOME | /storage/jenkins/jenkins_home |
| JENKINS_SERVER_COOKIE | bf8f15feac7abac6 |
| JENKINS_URL | http://monteverdi.informatik.uni-freiburg.de/ci/ |
| JOB_BASE_NAME | SMTInterpol |
| JOB_NAME | SMTInterpol |
| JOB_URL | http://monteverdi.informatik.uni-freiburg.de/ci/job/SMTInterpol/ |
| LANG | en_US.UTF-8 |
| LESS | -R -M --shift 5 |
| LESSOPEN | |lesspipe %s |
| MANPAGER | manpager |
| MANPATH | /usr/share/gcc-data/x86_64-pc-linux-gnu/11/man:/usr/share/binutils-data/x86_64-pc-linux-gnu/2.38/man:/etc/java-config-2/current-system-vm/man/:/usr/lib64/php8.1/man/:/usr/local/share/man:/usr/share/man:/usr/lib/rust/man:/usr/lib/llvm/15/share/man |
| NODE_LABELS | built-in |
| NODE_NAME | master |
| OPENGL_PROFILE | xorg-x11 |
| PATH | /bin:/sbin:/bin:/sbin:/usr/bin:/usr/sbin:/usr/bin:/usr/sbin:/usr/local/bin:/usr/local/sbin:/opt/bin:/usr/lib/llvm/15/bin |
| PWD | / |
| QT_GRAPHICSSYSTEM | raster |
| RC_SERVICE | /etc/init.d/tomcat-8-ci |
| RC_SVCNAME | tomcat-8-ci |
| ROOTPATH | /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin:/usr/lib/llvm/15/bin |
| ROOT_BUILD_CAUSE | TIMERTRIGGER |
| ROOT_BUILD_CAUSE_TIMERTRIGGER | true |
| RUN_ARTIFACTS_DISPLAY_URL | http://monteverdi.informatik.uni-freiburg.de/ci/job/SMTInterpol/2392/display/redirect?page=artifacts |
| RUN_CHANGES_DISPLAY_URL | http://monteverdi.informatik.uni-freiburg.de/ci/job/SMTInterpol/2392/display/redirect?page=changes |
| RUN_DISPLAY_URL | http://monteverdi.informatik.uni-freiburg.de/ci/job/SMTInterpol/2392/display/redirect |
| RUN_TESTS_DISPLAY_URL | http://monteverdi.informatik.uni-freiburg.de/ci/job/SMTInterpol/2392/display/redirect?page=tests |
| SHLVL | 1 |
| SVCNAME | tomcat-8-ci |
| TERM | linux |
| USER | jenkins |
| _ | /sbin/start-stop-daemon |
![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
