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