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

Filter wdspec intermittent failures

Browse source
This commit is contained in:
George Roman 2019-06-19 11:38:24 +03:00
parent 97ad913dc2
commit 2a220c6b24
2 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
etc/taskcluster/decision_task.py
View file

@ -616,8 +616,15 @@ def wpt_chunks(platform, make_chunk_task, build_task, total_chunks, processes,
time ./mach test-wpt --release --processes $PROCESSES --timeout-multiplier=4 \
--headless --log-raw test-wdspec.log \
--log-errorsummary wdspec-errorsummary.log \
--always-succeed \
webdriver \
| cat
./mach filter-intermittents \
wdspec-errorsummary.log \
--log-intermittents intermittents.log \
--log-filteredsummary filtered-wdspec-errorsummary.log \
--tracker-api default \
--reporter-api default
""")
# `test-wpt` is piped into `cat` so that stdout is not a TTY
# and wptrunner does not use "interactive mode" formatting: