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 !

update displayed version

2 jobs for 13-enumeration-name-may-differ in 28 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #14654
riseclipse
build

00:00:15

 
  Deploy
passed #14655
riseclipse
deploy

00:00:12