projects / mesa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f3f9b2) | patch
ci: Remove a useless filtering of the lava logs.
authorEric Anholt <eric@anholt.net>
Thu, 20 Feb 2020 18:15:43 +0000 (10:15 -0800)
committerEric Anholt <eric@anholt.net>
Fri, 21 Feb 2020 23:28:38 +0000 (15:28 -0800)
commitf8ab00776cc0b2a009403a8611c00341d879f9ab
tree8e8626c069254d0898c984a92f202d92f779172etree
parent7f3f9b2b1920da3badf503a0682de7beb9e86464commit | diff
ci: Remove a useless filtering of the lava logs.

We don't print every case any more, so no need to filter them out.  This
makes it so the output form "lavacli jobs logs" gets line-buffered into
"tee" and you can actually see what happened when the job is stuck but
before it times out.

Reviewed-by: Tomeu Vizoso <tomeu.vizoso@collabora.com>
Tested-by: Marge Bot <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3883>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3883>
.gitlab-ci/lava-gitlab-ci.yml diff | blob | history