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 !

Merge branch 'patch-1' into 'master'

Update README.md

See merge request !7
Status Job ID Name Coverage
  Build
failed #14910
riseclipse
build

 
  Deploy
skipped #14911
riseclipse
deploy
 
Name Stage Failure
failed
build Build There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job trace