Normalize some more job names.
authorM. Eric Irrgang <ericirrgang@gmail.com>
Sat, 21 Mar 2020 15:32:56 +0000 (18:32 +0300)
committerPaul Bauer <paul.bauer.q@gmail.com>
Mon, 23 Mar 2020 09:46:50 +0000 (10:46 +0100)
commitb75f9e4bf7be88a9177aa90f08861e38b630240e
treeb0b3a969d892cf2dcf8e1cdecd375bec4b73e44a
parentf832b28770fdd84cee0ddad0266c0c3fe18a8b5e
Normalize some more job names.

Also moves a few jobs between files as seems appropriate.
Eliminates some trivially inherited jobs.

Change-Id: Ib8e989ef560cc14387d14eb0083b5d678ee28651
admin/gitlab-ci/archive.gitlab-ci.yml
admin/gitlab-ci/documentation.gitlab-ci.yml
admin/gitlab-ci/global.gitlab-ci.yml
admin/gitlab-ci/gromacs.gitlab-ci.yml
admin/gitlab-ci/lint.gitlab-ci.yml