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

Auto merge of #20006 - servo:jdm-patch-16, r=emilio

Browse source 
Try to reduce instances of intermittent failures in wpt sync.

Making the job take longer in favour of reducing the variability of test results makes sense to me.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/20006)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-02-09 18:11:36 -05:00 • committed by GitHub
commit 1d8e78720b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/update-wpt-checkout
View file

@ -59,7 +59,7 @@ function cleanup() {
# Build Servo and run the full WPT testsuite, saving the results to a log file. # Build Servo and run the full WPT testsuite, saving the results to a log file.
function unsafe_run_tests() { function unsafe_run_tests() {
# Run the full testsuite and record the new test results. # Run the full testsuite and record the new test results.
./mach test-wpt --release --processes 12 --log-raw "${1}" \ ./mach test-wpt --release --processes 6 --log-raw "${1}" \
--always-succeed || return 1 --always-succeed || return 1
} }