Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Merge branch 'feature/xml-artifacts-gitlab' into 'dev'

.gitlab-ci.yml: produce .xml artifacts and use them within gitlab

See merge request !1
3 jobs for dev in 7 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Unit
passed #170843
unit

00:00:01

 
  Demo
passed #170844
demo

00:00:02

 
  Coverage
passed #170845
coverage

00:00:03

85.0%