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

Index/cache more tasks

Browse source 
This help `@bors-servo retry` not run a task again
if there’s already a successful run.
This commit is contained in:
Simon Sapin 2018-12-13 11:37:42 +01:00
parent be69c01ba7
commit 8de59c15b5
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
etc/taskcluster/decision_task.py
View file

@ -175,7 +175,7 @@ def macos_unit():
./mach package --dev
./etc/ci/lockfile_changed.sh
""")
.create()
.find_or_create("macos_unit." + CONFIG.git_sha)
)
@ -207,7 +207,7 @@ def android_arm32_dev():
./etc/ci/lockfile_changed.sh
python ./etc/ci/check_dynamic_symbols.py
""")
.create()
.find_or_create("android_arm32_dev." + CONFIG.git_sha)
)
@ -256,7 +256,7 @@ def android_x86_wpt():
/_mozilla/mozilla/DOMParser.html \
/_mozilla/mozilla/webgl/context_creation_error.html
""")
.create()
.find_or_create("android_x86_release." + CONFIG.git_sha)
)
@ -369,7 +369,7 @@ def wpt_chunk(release_build_task, total_chunks, this_chunk):
for word in script.split()
if word.endswith(".log")
])
return task.create()
return task.find_or_create("linux_wpt_%s.%s" % (this_chunk, CONFIG.git_sha))
def daily_tasks_setup():