Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-10-16 16:29:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update web-platform-tests to revision 548818eee08f7a6e31b9706b352b5d44b2f6d024

Browse source
This commit is contained in:
WPT Sync Bot 2019-12-12 08:22:50 +00:00
parent 82fd8d1daf
commit 5e74467d68
112 changed files with 1704 additions and 536 deletions
Download patch file Download diff file Expand all files Collapse all files

7
tests/wpt/web-platform-tests/tools/ci/taskcluster-run.py
View file

@ -9,7 +9,8 @@ import subprocess
import sys
browser_specific_args = {
"firefox": ["--install-browser"]
"firefox": ["--install-browser"],
"servo": ["--install-browser", "--processes=12"]
}
@ -67,6 +68,10 @@ def main(product, commit_range, wpt_args):
]
wpt_args += browser_specific_args.get(product, [])
# Hack to run servo with one process only for wdspec
if product == "servo" and "--test-type=wdspec" in wpt_args:
wpt_args = [item for item in wpt_args if not item.startswith("--processes")]
command = ["python", "./wpt", "run"] + wpt_args + [product]
logger.info("Executing command: %s" % " ".join(command))