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

Linux workers are fast enough that we can get away with only two WPT chunks

Browse source
This commit is contained in:
Simon Sapin 2018-09-20 23:38:37 +02:00
parent c5008356f3
commit ce98850162
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
decision-task.py
View file

@ -112,7 +112,7 @@ def main():
**kwargs **kwargs
) )
total_chunks = 4 total_chunks = 2
for i in range(total_chunks): for i in range(total_chunks):
chunk = i + 1 chunk = i + 1
create_run_task( create_run_task(