mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Move WPT extras to the last chunk
Maybe it’ll take less time total?
This commit is contained in:
parent
1f018b09c8
commit
d318e55b1c
1 changed files with 1 additions and 1 deletions
|
@ -365,7 +365,7 @@ def wpt_chunks(platform, make_chunk_task, build_task, total_chunks, processes,
|
|||
PROCESSES=str(processes),
|
||||
)
|
||||
)
|
||||
if this_chunk == 1:
|
||||
if this_chunk == chunks[-1]:
|
||||
task.name += " + extra"
|
||||
task.extra["treeherder"]["symbol"] += "+"
|
||||
task.with_script("""
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue