build #9528

Environment variables

Name	Value
__lmod_my_status	$?;
__lmod_sh_dbg	'x'
echo "Shell debugging temporarily silenced: export LMOD_SH_DBG_ON	1 for Lmod's output" 1>&2;
BASH_ENV	/usr/share/lmod/lmod/init/bash
BASH_FUNC_ml%%	() { eval "$($LMOD_DIR/ml_cmd "$@")"
BASH_FUNC_module%%	() { if [ -z "${LMOD_SH_DBG_ON+x}" ]; then
BUILD_CAUSE	UPSTREAMTRIGGER
BUILD_CAUSE_UPSTREAMTRIGGER	true
BUILD_DISPLAY_NAME	#9528
BUILD_ID	9528
BUILD_NUMBER	9528
DEBUGINFOD_URLS	https://debuginfod.fedoraproject.org/
EDITOR	/usr/bin/nano
EXECUTOR_NUMBER	0
GPG_TTY	not a tty
HOME	/builds
HUDSON_HOME	/net/www/ci/simgrid
HUDSON_SERVER_COOKIE	eb645fd8ef1ade34
HUDSON_URL	https://ci.inria.fr/simgrid/
JAVA_HOME	/usr/lib/jvm/java
JENKINS_HOME	/net/www/ci/simgrid
JENKINS_SERVER_COOKIE	eb645fd8ef1ade34
JENKINS_URL	https://ci.inria.fr/simgrid/
LANG	en_US.UTF-8
LESSOPEN	\|\|/usr/bin/lesspipe.sh %s
LMOD_CMD	/usr/share/lmod/lmod/libexec/lmod
LMOD_DIR	/usr/share/lmod/lmod/libexec
LMOD_PKG	/usr/share/lmod/lmod
LMOD_ROOT	/usr/share/lmod
LMOD_SETTARG_FULL_SUPPORT	no
LMOD_VERSION	8.7.37
LMOD_sys	Linux
LOGNAME	ci
MANPATH	/usr/share/lmod/lmod/share/man:
MODULEPATH	/etc/modulefiles:/usr/share/modulefiles:/usr/share/modulefiles/Linux:/usr/share/modulefiles/Core:/usr/share/lmod/lmod/modulefiles/Core
MODULEPATH_ROOT	/usr/share/modulefiles
MODULESHOME	/usr/share/lmod/lmod
MOTD_SHOWN	pam
NODE_LABELS	fedora-rawhide gcc
NODE_NAME	fedora-rawhide
OLDPWD	/builds
PATH	/usr/lib64/ccache:/usr/local/bin:/usr/bin:/usr/local/sbin:/usr/sbin
PWD	/builds
ROOT_BUILD_CAUSE	SCMTRIGGER
ROOT_BUILD_CAUSE_SCMTRIGGER	true
SHELL	/bin/bash
SHLVL	0
SSH_CLIENT	172.21.1.2 45056 22
SSH_CONNECTION	172.21.1.2 45056 172.21.11.10 22
USER	ci
XDG_RUNTIME_DIR	/run/user/1000
XDG_SESSION_CLASS	user
XDG_SESSION_ID	123773
XDG_SESSION_TYPE	tty
_	/usr/lib/jvm/java/bin/java
build_mode	ModelChecker
gitlabActionType	PUSH
gitlabAfter	45fd98b93a4c0356f4d07c3dc97e1dcc8e30a04d
gitlabBefore	e3bfee0abad43d0b16c84b093b8c4d921fa91ddf
gitlabBranch	master
gitlabMergeRequestLastCommit	45fd98b93a4c0356f4d07c3dc97e1dcc8e30a04d
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	Mathieu Laurent
gitlabUserUsername	Mwapl
node	fedora-rawhide