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 !

Commit 5be88fba authored by Dominique Marcadet's avatar Dominique Marcadet

add "not implemented messages" in validation phase

parent 1df71bc8
Pipeline #7634 passed with stages
in 26 seconds
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment