Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 560a5471 authored by Davide Pala's avatar Davide Pala

Merge branch 'master' of gitlab.inria.fr:srokicki/Comet

parents 40fd3239 9e0d2839
Pipeline #168730 passed with stages
in 5 minutes and 50 seconds