Fork from https://gitlab.inf.telecom-sudparis.eu/infra-web/hotcrp-docker.git
A toy example project showing how GitLab CI can be used for teaching