Merge topic 'ci-rename-jobs'

c0d8e42a08 gitlab-ci: shorten job prefixes
3c2fedfeaf gitlab-ci: fix comment typo

Acked-by: Kitware Robot <kwrobot@kitware.com>
Merge-request: !6744