[PATCH v7 2/2] ci: Introduce a CI pipeline for GitLab.