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