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.

Tags give the ability to mark specific points in history as being important
Repository has no tags yet.
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'