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 !

add some @NonNull annotation

2 jobs for 7-at-least-minor-version-number-should-be-change-for-nsd-support in 24 seconds
Status Job ID Name Coverage
  Build
passed #14063
riseclipse
build

00:00:12

 
  Deploy
passed #14064
riseclipse
deploy

00:00:12