#177 Handle Valgrind scripts more like the usual build ones (i.e. mkdir and cd...
#177 Handle Valgrind scripts more like the usual build ones (i.e. mkdir and cd done in Yaml rather than in Python directly).
Please register or sign in to comment
Attention une mise à jour du service Gitlab va être effectuée le mardi 07 février entre 13h30 et 14h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes (habituellement de l'ordre de trois minutes).
#177 Handle Valgrind scripts more like the usual build ones (i.e. mkdir and cd done in Yaml rather than in Python directly).