Samuel Thibault e991d8227f Make sure simgrid doesn't try to run mpi checks vor 4 Jahren
..
build.sh ba38e95fb0 contrib/gitlab: fail when no dist file is available vor 4 Jahren
deploy.sh 8db63ebd17 define gitlab pipeline to be run manually vor 4 Jahren
simgrid.sh e991d8227f Make sure simgrid doesn't try to run mpi checks vor 4 Jahren