Nathalie Furmento 42b3a75e15 contrib/ci.inria.fr/job-1-check.sh: only set -oversubscribe when available vor 5 Jahren
..
ci.inria.fr 42b3a75e15 contrib/ci.inria.fr/job-1-check.sh: only set -oversubscribe when available vor 5 Jahren
gitlab e991d8227f Make sure simgrid doesn't try to run mpi checks vor 5 Jahren