servo: Merge #20006 - Try to reduce instances of intermittent failures in wpt sync...
commitf9f755ab79999dba42a20033eb774597dc0e64f7
authorJosh Matthews <josh@joshmatthews.net>
Fri, 9 Feb 2018 23:11:36 +0000 (9 18:11 -0500)
committerJosh Matthews <josh@joshmatthews.net>
Fri, 9 Feb 2018 23:11:36 +0000 (9 18:11 -0500)
tree50dfa3ddb7ed2223b1e0ff80e13627c4f4855e8c
parent66f99f62bd09186d66bee6e942f6bc6d51d944a7
servo: Merge #20006 - Try to reduce instances of intermittent failures in wpt sync (from servo:jdm-patch-16); r=emilio

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

Source-Repo: https://github.com/servo/servo
Source-Revision: 1d8e78720b06823e7f77b52a2b8fbd805d2cf2c0

--HG--
extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear
extra : subtree_revision : 6cfe6c5831f0cd6a5ad353ff2262e80936c55c02
servo/etc/ci/update-wpt-checkout