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