Nathalie Furmento 80520a4d3c contrib/ci.inria.fr/job-1-check.sh: ignore touch command failure vor 3 Jahren
..
ci.inria.fr 80520a4d3c contrib/ci.inria.fr/job-1-check.sh: ignore touch command failure vor 3 Jahren
gitlab e991d8227f Make sure simgrid doesn't try to run mpi checks vor 4 Jahren