Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 05:30:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Turn off coverage for webgpu

Browse source
This commit is contained in:
Josh Matthews 2021-01-25 12:26:04 -05:00 • committed by GitHub
parent 506630d3f5
commit 6dbcdf5ae7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/taskcluster/decision_task.py
View file

@ -630,7 +630,7 @@ def wpt_chunks(platform, make_chunk_task, build_task, total_chunks, processes,
--log-filteredsummary filtered-webgpu-errorsummary.log \
--tracker-api default \
--reporter-api default
"""
""" # pragma: no cover
else:
webgpu_script = ""