Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

version is a6 31/05/2019

2 jobs for 12-update-displayed-version-for-tool-diffusion in 25 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #14579
riseclipse
build

00:00:12

 
  Deploy
passed #14580
riseclipse
deploy

00:00:12