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

Disable intermittent reporting for now

Browse source
This commit is contained in:
Simon Sapin 2018-09-20 21:25:41 +02:00
parent 7d41ae2fa4
commit 0ed434fbeb
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
decision-task.py
View file

@ -124,9 +124,12 @@ def main():
wpt-errorsummary.log \ wpt-errorsummary.log \
--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
--reporter-api default
""", """,
# FIXME: --reporter-api default
# IndexError: list index out of range
# File "/repo/python/servo/testing_commands.py", line 533, in filter_intermittents
# pull_request = int(last_merge.split(' ')[4][1:])
env={ env={
"TOTAL_CHUNKS": total_chunks, "TOTAL_CHUNKS": total_chunks,
"THIS_CHUNK": chunk, "THIS_CHUNK": chunk,