diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2019-11-18 11:21:38 +0100 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2019-11-18 11:21:38 +0100 |
| commit | 67b0b97d4fadab7c7f8c7591b2d9b785b28395f4 (patch) | |
| tree | 6b4047557c976348881d3af7e2fa73ab6c6ea6b5 | |
| parent | e5f6333832b3784a0aa050dfff25c60e77fdd12a (diff) | |
| download | servo-67b0b97d4fadab7c7f8c7591b2d9b785b28395f4.tar.gz servo-67b0b97d4fadab7c7f8c7591b2d9b785b28395f4.zip | |
Zero-pad the chunk number in WPT task names
| -rw-r--r-- | etc/taskcluster/decision_task.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/taskcluster/decision_task.py b/etc/taskcluster/decision_task.py index 31ecb63a845..99b2bc585f6 100644 --- a/etc/taskcluster/decision_task.py +++ b/etc/taskcluster/decision_task.py @@ -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") |