diff options
author | Andres Gomez <[email protected]> | 2020-02-20 17:32:08 +0200 |
---|---|---|
committer | Andres Gomez <[email protected]> | 2020-03-04 15:22:04 +0200 |
commit | 1d75595da4a72c2ca0eb2b9b88db09a05a873e67 (patch) | |
tree | ae4c896ca69761cd2c29a79c5f400555012532ab /.gitlab-ci/container/x86_test-vk.sh | |
parent | f1b7b8c0ee6b796c90dab54e713ed6d08ef98356 (diff) |
gitlab-ci: Change devices format to <api-vendor-deviceId>
In preparation to having "vk" (Vulkan) along "gl" (OpenGL/ES).
This is so it is clearer which traces belong to which API and also for
the build jobs.
Signed-off-by: Andres Gomez <[email protected]>
Reviewed-by: Samuel Pitoiset <[email protected]>
Reviewed-by: Alexandros Frantzis <[email protected]>
Diffstat (limited to '.gitlab-ci/container/x86_test-vk.sh')
0 files changed, 0 insertions, 0 deletions