diff options
| author | Matt Turner <[email protected]> | 2020-01-21 15:23:39 -0800 |
|---|---|---|
| committer | Marge Bot <[email protected]> | 2020-01-22 00:53:48 +0000 |
| commit | 17c9ec94f59e9823018e2b219fe154e0d78056ca (patch) | |
| tree | 5ef55a0d12eea34ba0f4bdd0757aa0a73a85a217 /src | |
| parent | 68cfc65ccbca748f0dfdc85876b9b5c02e598c11 (diff) | |
gitlab-ci: Skip ext_timer_query/time-elapsed
This test's result is unpredictable, so it may occasionally pass when we
expect it to fail, thus causing the CI pipeline to fail.
Reviewed-by: Eric Anholt <[email protected]>
Tested-by: Marge Bot <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3498>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3498>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions