Ce projet permet d'orchestrer des runners GitLab en utilisant l'infrastructure cloud de Inria comme backend. Il automatise le déploiement et la gestion de machines virtuelles pour exécuter des tâches de test ou de calcul, notamment pour des projets comme Coq. L'objectif est d'offrir une solution scalable et flexible pour les environnements de développement et d'intégration continue.