gitlab.inria.fr/ci.inria.fr integration
1 – Principle The main idea is to interconnect the GITLAB (SCM) and the CI (continous integration) services, in order to: automatically run jobs on CI, then some events occur on the GITLAB side, such as: new push to branches, merge request on feature branches… automatically publish the CI build…