Move WPT extra into the first chunk

This commit is contained in:
Simon Sapin 2018-09-20 23:41:13 +02:00
parent ce98850162
commit ae3fbc8dcd

View file

@ -115,8 +115,18 @@ def main():
total_chunks = 2 total_chunks = 2
for i in range(total_chunks): for i in range(total_chunks):
chunk = i + 1 chunk = i + 1
create_run_task( if chunk == 1:
task_name="Linux x86_64: WPT chunk %s / %s" % (chunk, total_chunks), name_extra = " + extra"
script_extra = """
./mach test-wpt-failure
./mach test-wpt --release --binary-arg=--multiprocess --processes 24 \
--log-raw test-wpt-mp.log \
--log-errorsummary wpt-mp-errorsummary.log \
eventsource
"""
else:
name_extra = ""
script_extra = ""
script = """ script = """
./mach test-wpt \ ./mach test-wpt \
--release \ --release \
@ -131,28 +141,20 @@ def main():
--log-intermittents intermittents.log \ --log-intermittents intermittents.log \
--log-filteredsummary filtered-wpt-errorsummary.log \ --log-filteredsummary filtered-wpt-errorsummary.log \
--tracker-api default --tracker-api default
""", """
# FIXME: --reporter-api default # FIXME: --reporter-api default
# IndexError: list index out of range # IndexError: list index out of range
# File "/repo/python/servo/testing_commands.py", line 533, in filter_intermittents # File "/repo/python/servo/testing_commands.py", line 533, in filter_intermittents
# pull_request = int(last_merge.split(' ')[4][1:]) # pull_request = int(last_merge.split(' ')[4][1:])
create_run_task(
task_name="Linux x86_64: WPT chunk %s / %s%s" % (chunk, total_chunks, name_extra),
script=script_extra + script,
env={ env={
"TOTAL_CHUNKS": total_chunks, "TOTAL_CHUNKS": total_chunks,
"THIS_CHUNK": chunk, "THIS_CHUNK": chunk,
}, },
) )
create_run_task(
task_name="Linux x86_64: WPT extra",
script="""
./mach test-wpt-failure
./mach test-wpt --release --binary-arg=--multiprocess --processes 24 \
--log-raw test-wpt-mp.log \
--log-errorsummary wpt-mp-errorsummary.log \
eventsource
""",
)
if __name__ == "__main__": if __name__ == "__main__":
os.chdir(os.path.join(".", os.path.dirname(__file__))) os.chdir(os.path.join(".", os.path.dirname(__file__)))