diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-02-09 18:11:36 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-09 18:11:36 -0500 |
commit | 1d8e78720b06823e7f77b52a2b8fbd805d2cf2c0 (patch) | |
tree | 031771f37455590e7e97f504b387489702bfbec8 /components/script/stylesheet_loader.rs | |
parent | 6b1a74672d6b9d9c55b027b147b0a6eb8f727bfd (diff) | |
parent | 298f70711c8dd401b6277c930d36823bdecdb38d (diff) | |
download | servo-1d8e78720b06823e7f77b52a2b8fbd805d2cf2c0.tar.gz servo-1d8e78720b06823e7f77b52a2b8fbd805d2cf2c0.zip |
Auto merge of #20006 - servo:jdm-patch-16, r=emilio
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 -->
Diffstat (limited to 'components/script/stylesheet_loader.rs')
0 files changed, 0 insertions, 0 deletions