We try to both:
- have
doc/.gitlab-ci.ymlwith someonly:changesconfiguration - make it work 'as usual' for the other pipelines. Otherwise we have a pipeline on the branch itself and one pipeline on the merge request.
Fix #4197
[Edité] Attention une mise à jour du service Gitlab Inria va être effectuée le mercredi 27 septembre (et non pas février comme annoncé précédemment) entre 13h00 et 14h00. 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 (habituellement de l'ordre de trois minutes). Il s'agit d'une montée de version majeure.
We try to both:
doc/.gitlab-ci.yml with some only:changes configurationFix #4197