Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Set id_hash as default wpt chunker

Browse source
This commit is contained in:
sagudev 2023-06-08 06:35:13 +02:00
parent cb0c0bf3ce
commit b2bdf83716
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
python/wpt/run.py
View file

@ -73,6 +73,9 @@ def run_tests(**kwargs):
set_if_none(
kwargs, "host_cert_path", os.path.join(CERTS_PATH, "web-platform.test.pem")
)
# Set `id_hash` as the default chunk, as this better distributes testing across different
# chunks and leads to more consistent timing on GitHub Actions.
set_if_none(kwargs, "chunk_type", "id_hash")
kwargs["user_stylesheets"].append(os.path.join(SERVO_ROOT, "resources", "ahem.css"))