gitlab.inria.fr / inria-ci 7 Dépôts
This group contains people working or managing the Inria Continuous Integration service.
inria-ci/ci-scripts
Public repository of scripts used to administrate `ci.inria.fr`
dernière synchronisation: il y a 10 mois - étoiles: 0 - forks: 1
inria-ci/doc
User documentation of Inria's Continuous Integration services
dernière synchronisation: il y a 10 mois - étoiles: 3 - forks: 10
inria-ci/ci-cmdline
Command-line for `ci.inria.fr`.
dernière synchronisation: il y a 10 mois - étoiles: 1 - forks: 4