CI

contrib/ci.inria.fr/job-1-check.sh: fix mpiexec setting #407

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build with reprotest	16m 39s
Build in native mode	22m 53s
Build in simgrid mode	6m 6s
	45m 38s