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