En raison d'une défaillance matérielle, les jobs d'intégration continue peuvent échouer sans raison évidente sur les runners partagés. Les disques incriminés devraient être changés en fin de semaine. Merci de votre compréhension.

    Merge requests are a place to propose changes you've made to a project and discuss those changes with others

    Interested parties can even contribute by pushing commits if they want to.