build #9534

Environment variables

Name	Value
BUILD_CAUSE	UPSTREAMTRIGGER
BUILD_CAUSE_UPSTREAMTRIGGER	true
BUILD_DISPLAY_NAME	#9534
BUILD_ID	9534
BUILD_NUMBER	9534
BUILD_TAG	jenkins-SimGrid-build_mode=ModelChecker,node=debian-testing-2-9534
BUILD_URL	https://ci.inria.fr/simgrid/job/SimGrid/build_mode=ModelChecker,node=debian-testing-2/9534/
DBUS_SESSION_BUS_ADDRESS	unix:path=/run/user/1000/bus
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-11-openjdk-amd64
JENKINS_HOME	/net/www/ci/simgrid
JENKINS_SERVER_COOKIE	eb645fd8ef1ade34
JENKINS_URL	https://ci.inria.fr/simgrid/
JOB_BASE_NAME	build_mode=ModelChecker,node=debian-testing-2
JOB_NAME	SimGrid/build_mode=ModelChecker,node=debian-testing-2
JOB_URL	https://ci.inria.fr/simgrid/job/SimGrid/build_mode=ModelChecker,node=debian-testing-2/
LANG	en_US.UTF-8
LANGUAGE	en_US:en
LOGNAME	ci
MOTD_SHOWN	pam
NODE_LABELS	DynamicAnalysis debian-like gcc debian-testing-2
NODE_NAME	debian-testing-2
OLDPWD	/home/ci
PATH	/usr/local/bin:/usr/bin:/bin:/usr/games
PWD	/builds
ROOT_BUILD_CAUSE	SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER	true
RUN_ARTIFACTS_DISPLAY_URL	https://ci.inria.fr/simgrid/job/SimGrid/build_mode=ModelChecker,node=debian-testing-2/9534/display/redirect?page=artifacts
RUN_CHANGES_DISPLAY_URL	https://ci.inria.fr/simgrid/job/SimGrid/build_mode=ModelChecker,node=debian-testing-2/9534/display/redirect?page=changes
RUN_DISPLAY_URL	https://ci.inria.fr/simgrid/job/SimGrid/build_mode=ModelChecker,node=debian-testing-2/9534/display/redirect
RUN_TESTS_DISPLAY_URL	https://ci.inria.fr/simgrid/job/SimGrid/build_mode=ModelChecker,node=debian-testing-2/9534/display/redirect?page=tests
SHELL	/bin/bash
SHLVL	0
SSH_CLIENT	172.21.1.2 55932 22
SSH_CONNECTION	172.21.1.2 55932 172.21.9.22 22
USER	ci
XDG_RUNTIME_DIR	/run/user/1000
XDG_SESSION_CLASS	user
XDG_SESSION_ID	153370
XDG_SESSION_TYPE	tty
_	/usr/bin/java
build_mode	ModelChecker
gitlabActionType	PUSH
gitlabAfter	a0123b157d9d1e7f7d40198198d8776817fb4d46
gitlabBefore	74df153939d1dfcb61236f760a67213ef10f4a77
gitlabBranch	master
gitlabMergeRequestLastCommit	a0123b157d9d1e7f7d40198198d8776817fb4d46
gitlabSourceBranch	master
gitlabSourceNamespace	simgrid
gitlabSourceRepoHomepage	https://framagit.org/simgrid/simgrid
gitlabSourceRepoHttpUrl	https://framagit.org/simgrid/simgrid.git
gitlabSourceRepoName	simgrid
gitlabSourceRepoSshUrl	git@framagit.org:simgrid/simgrid.git
gitlabSourceRepoURL	git@framagit.org:simgrid/simgrid.git
gitlabTargetBranch	master
gitlabUserName	Fred Suter
gitlabUserUsername	frs69wq
node	debian-testing-2