ci-inria-documentation
Ce projet fournit une documentation sur l'utilisation du service continu d'intégration d'INRIA avec Github, facilitant ainsi le processus de développement et d'intégration pour les équipes INRIA.
Cas d'utilisation métier
Description générée le dimanche 17 mars 2024 à 20:09:27