mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
Run wdspec tests in a different job
This commit is contained in:
parent
5f4074ada8
commit
2e0556c503
134 changed files with 1279 additions and 21 deletions
|
@ -613,6 +613,11 @@ def wpt_chunks(platform, make_chunk_task, build_task, total_chunks, processes,
|
|||
--log-errorsummary bluetooth-errorsummary.log \
|
||||
bluetooth \
|
||||
| cat
|
||||
time ./mach test-wpt --release --processes $PROCESSES --timeout-multiplier=4 \
|
||||
--headless --log-raw test-wdspec.log \
|
||||
--log-errorsummary wdspec-errorsummary.log \
|
||||
webdriver \
|
||||
| cat
|
||||
""")
|
||||
# `test-wpt` is piped into `cat` so that stdout is not a TTY
|
||||
# and wptrunner does not use "interactive mode" formatting:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue