-
Mikaël Salson authored
Executing valgrind can take more time, thus we need to increase the default timeout to make sure the program has time to properly execute.
eff75d82
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Executing valgrind can take more time, thus we need to increase the default timeout to make sure the program has time to properly execute.