Move to Gitlab CI
Gitlab CI is amazing. One of its great features is the Docker registry, where we can upload our own images to use in the CI of other projects.
This is what this merge request implements.
Edited by Mathieu Bridon
Due to an influx of spam, we have had to impose restrictions on new accounts. Please see this wiki page for instructions on how to get full permissions. Sorry for the inconvenience.
Gitlab CI is amazing. One of its great features is the Docker registry, where we can upload our own images to use in the CI of other projects.
This is what this merge request implements.