[PATCH 0/3] MR5952: Draft: tools: Some GitLab CI changes.