Nathalie Furmento ba56a0a454 contrib: add stage to run make check 8 years ago
..
ci.inria.fr ba56a0a454 contrib: add stage to run make check 8 years ago