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 messages with filename and line number

2 jobs for 15-some-line-number-in-message-are-missing in 37 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #14705
riseclipse
build

00:00:18

 
  Deploy
passed #14706
riseclipse
deploy

00:00:19