Autre #15051
ajouter un jenkins.sh et assurer qu'il produise les résultats des tests et du coverage
Début:
20 février 2017
Echéance:
% réalisé:
100%
Temps estimé:
Patch proposed:
Non
Planning:
Révisions associées
Historique
Mis à jour par Benjamin Dauvergne il y a environ 7 ans
- Statut changé de Nouveau à Résolu (à déployer)
- % réalisé changé de 0 à 100
Appliqué par commit e09d0ad6497bf01537e272b364322e62aab10fa2.
Mis à jour par Benjamin Dauvergne il y a environ 7 ans
- Statut changé de Résolu (à déployer) à Fermé
add jenkins.sh (fixes #15051)