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

Zero-pad the chunk number in WPT task names

Browse source
This commit is contained in:
Simon Sapin 2019-11-18 11:21:38 +01:00
parent e5f6333832
commit 67b0b97d4f
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
etc/taskcluster/decision_task.py
View file

@ -650,7 +650,9 @@ def wpt_chunks(platform, make_chunk_task, build_task, total_chunks, processes,
chunks = range(total_chunks + 1)
for this_chunk in chunks:
task = (
make_chunk_task("WPT chunk %s / %s" % (this_chunk, total_chunks))
make_chunk_task("WPT chunk {:0{width}} / {}".format(
this_chunk, total_chunks, width=len(str(total_chunks)),
))
.with_treeherder(platform, "WPT-%s" % this_chunk)
.with_repo(**repo_kwargs)
.with_curl_artifact_script(build_task, "target.tar.gz")