Nathalie Furmento ba56a0a454 contrib: add stage to run make check 7 anni fa
..
ci.inria.fr ba56a0a454 contrib: add stage to run make check 7 anni fa