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 b49313e0 authored by logan's avatar logan

gitlab CI minor fix

parent 42a42b3b
Pipeline #203631 failed with stages
in 1 minute and 19 seconds