gitlab.inria.fr / inria-ci 7 Repositories
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`
Last synced at: 7 months ago - Stars: 0 - Forks: 1
inria-ci/doc
User documentation of Inria's Continuous Integration services
Last synced at: 7 months ago - Stars: 3 - Forks: 10
inria-ci/ci-cmdline
Command-line for `ci.inria.fr`.
Last synced at: 7 months ago - Stars: 1 - Forks: 4