gitlab-ci/lava: add pipeline information in the lava job name
authorNeil Armstrong <narmstrong@baylibre.com>
Tue, 15 Oct 2019 13:22:07 +0000 (15:22 +0200)
committerMarge Bot <eric+marge@anholt.net>
Tue, 21 Jan 2020 11:29:36 +0000 (11:29 +0000)
commitdc594c95ddc66888e5971a8684a62b0c11ec9885
tree528ee38207048861cf40f78edebbd25f555e6fdb
parenta24b3b228a0a9c0bab0de2e024798c85479ef9b4
gitlab-ci/lava: add pipeline information in the lava job name

In order to have more informations in the LAVA jobs list, add the
current pipeline URL and commit ref name in the LAVA job name.

Signed-off-by: Neil Armstrong <narmstrong@baylibre.com>
Reviewed-by: Tomeu Vizoso <tomeu.vizoso@collabora.com>
Reviewed-by: Daniel Stone <daniels@collabora.com>
Tested-by: Marge Bot <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/2337>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/2337>
.gitlab-ci/generate_lava.py
.gitlab-ci/lava-deqp.yml.jinja2
.gitlab-ci/lava-gitlab-ci.yml