build #1195

Environment variables

Name	Value
BUILD_CAUSE	UPSTREAMTRIGGER
BUILD_CAUSE_UPSTREAMTRIGGER	true
BUILD_DISPLAY_NAME	#1195
BUILD_ID	1195
BUILD_NUMBER	1195
CC	clang
CXX	clang++
EXECUTOR_NUMBER	0
HOME	/home/ci
HUDSON_HOME	/net/www/ci/simgrid
HUDSON_SERVER_COOKIE	eb645fd8ef1ade34
HUDSON_URL	https://ci.inria.fr/simgrid/
JAVA_HOME	/usr/lib/jvm/java-16-jdk
JENKINS_HOME	/net/www/ci/simgrid
JENKINS_SERVER_COOKIE	eb645fd8ef1ade34
JENKINS_URL	https://ci.inria.fr/simgrid/
LD_LIBRARY_PATH	/home/ci/apron-install/lib
LOGNAME	ci
MAIL	/var/spool/mail/ci
MOTD_SHOWN	pam
NODE_LABELS	manjaro pipeline
NODE_NAME	manjaro
OLDPWD	/home/ci
PATH	$PATH:/usr/lib/jvm/java-16-jdk/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/home/ci/ikos-install/bin/
PWD	/builds
ROOT_BUILD_CAUSE	TIMERTRIGGER
ROOT_BUILD_CAUSE_TIMERTRIGGER	true
SCAN_BUILD	/home/ci/ikos-install/bin/ikos-scan
SHELL	/bin/bash
SHLVL	0
SSH_CLIENT	172.21.1.2 35552 22
SSH_CONNECTION	172.21.1.2 35552 172.21.9.73 22
USER	ci
XDG_RUNTIME_DIR	/run/user/1000
XDG_SESSION_CLASS	user
XDG_SESSION_ID	43
XDG_SESSION_TYPE	tty
_	/usr/bin/java
label	manjaro