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 !

rename projects and packages

2 jobs for 5-update-to-changes-in-riseclipsemain in 39 seconds (queued for 9 seconds)
Status Job ID Name Coverage
  Build
passed #14810
riseclipse
build

00:00:19

 
  Deploy
passed #14811
riseclipse
deploy

00:00:19