Adopt CI job naming guidelines.
authorM. Eric Irrgang <ericirrgang@gmail.com>
Thu, 19 Mar 2020 16:47:26 +0000 (19:47 +0300)
committerPaul Bauer <paul.bauer.q@gmail.com>
Sun, 22 Mar 2020 11:09:22 +0000 (12:09 +0100)
commit0f080f595e4006234d30b08eb609cb015ee808df
treee35d7e0e0f5f17a6b00bb82ccef108a2fe59972b
parent224b41b378738d5f455cc0bdcc44a94065d6e1f2
Adopt CI job naming guidelines.

Refs #3275

Change-Id: Ib1fdf4eb468fe2a4620e523f265226c09051bba2
docs/dev-manual/gitlab.rst