Mentions légales du service

Skip to content
Snippets Groups Projects

docker-machine-cloudstack

This project describes an orchestration of gitlab runners with the Inria CloudStack infrastructure as a backend.

It is meant to be used by Coq (and possibly other projects).