CI: Refactoring pipelines with include conditional
Goals:
- make it harder to add jobs to the wrong pipeline(s) by mistake
- make the result closer to what we would get from the OCaml version (
romain-ci-in-ocamlbranch)
The idea is to:
- have one YAML file per job or per family of jobs
- have one YAML file per pipeline, which only contains
includes of the job files - have
.gitlab-ci.ymlconditionally include exactly one pipeline file
See #3689 (closed) for more informations