diff options
author | Josh Matthews <josh@joshmatthews.net> | 2021-01-25 12:26:04 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-25 12:26:04 -0500 |
commit | 6dbcdf5ae72651d0cf5e6ff4fda43690e74b57ed (patch) | |
tree | 3deaa7506b54f9f7e4ffd4b7823baee8d71a8869 | |
parent | 506630d3f5a6adc36f5f5c905b0fdbf82a00efad (diff) | |
download | servo-6dbcdf5ae72651d0cf5e6ff4fda43690e74b57ed.tar.gz servo-6dbcdf5ae72651d0cf5e6ff4fda43690e74b57ed.zip |
Turn off coverage for webgpu
-rw-r--r-- | etc/taskcluster/decision_task.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/taskcluster/decision_task.py b/etc/taskcluster/decision_task.py index 17899c32039..58eaa38da24 100644 --- a/etc/taskcluster/decision_task.py +++ b/etc/taskcluster/decision_task.py @@ -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 = "" |