[PATCH v2 3/3] ci: Introduce a CI pipeline for GitLab.