mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-04 11:26:09 +00:00
servo: Merge #16327 - Double number of WPT processes for Linux builders (from servo:jdm-patch-3); r=jdm
Source-Repo: https://github.com/servo/servo Source-Revision: 10f51165c419a6f07b284ac3a867b60b1ed2de92 --HG-- extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear extra : subtree_revision : b41cfcb48d7bf1a562ac844d398c1b2627522ee7
This commit is contained in:
parent
5f7cf90533
commit
d1b78f3864
@ -59,13 +59,13 @@ linux-dev:
|
||||
linux-rel-wpt:
|
||||
- ./mach build --release --with-debug-assertions
|
||||
- ./mach test-wpt-failure
|
||||
- ./mach test-wpt --release --processes 12 --log-raw test-wpt.log --log-errorsummary wpt-errorsummary.log --always-succeed
|
||||
- ./mach test-wpt --release --processes 24 --log-raw test-wpt.log --log-errorsummary wpt-errorsummary.log --always-succeed
|
||||
- ./mach filter-intermittents wpt-errorsummary.log --log-intermittents intermittents.log --log-filteredsummary filtered-wpt-errorsummary.log --use-tracker
|
||||
- ./mach test-wpt --release --binary-arg=--multiprocess --processes 12 --log-raw test-wpt-mp.log --log-errorsummary wpt-mp-errorsummary.log eventsource
|
||||
- ./mach test-wpt --release --binary-arg=--multiprocess --processes 24 --log-raw test-wpt-mp.log --log-errorsummary wpt-mp-errorsummary.log eventsource
|
||||
|
||||
linux-rel-css:
|
||||
- ./mach build --release --with-debug-assertions
|
||||
- ./mach test-css --release --processes 8 --log-raw test-css.log --log-errorsummary css-errorsummary.log --always-succeed
|
||||
- ./mach test-css --release --processes 16 --log-raw test-css.log --log-errorsummary css-errorsummary.log --always-succeed
|
||||
- ./mach filter-intermittents css-errorsummary.log --log-intermittents intermittents.log --log-filteredsummary filtered-css-errorsummary.log --use-tracker
|
||||
- ./mach build-cef --release --with-debug-assertions
|
||||
- ./mach build-geckolib --release
|
||||
|
Loading…
Reference in New Issue
Block a user