Re: [PATCH 14/20] CI: GitLab: Split build_world tasks