-
Mikaël Salson authored
If the wget or if the first tar fails, we should exit immediately and make should know there was an error. Otherwise builds could appear as successful while they were not.
cb7d8fa3
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
If the wget or if the first tar fails, we should exit immediately and make should know there was an error. Otherwise builds could appear as successful while they were not.