Merge topic 'ci-rename-jobs' 580e20d0d4 Merge branch 'backport-ci-rename-jobs' into ci-rename-jobs 7d5828e293 gitlab-ci: shorten job prefixes cfa478e518 gitlab-ci: fix comment typo Acked-by: Kitware Robot <kwrobot@kitware.com> Merge-request: !6760