diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-09-25 03:58:14 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-25 03:58:14 -0400 |
| commit | 46611b012e9342b6845165c258e9a73311e4d6f4 (patch) | |
| tree | 68da78de812c5de374614f919fa885523e4302ad /components/script/document_loader.rs | |
| parent | 57961bd3b55dd72af2c254c5d552fbd2265371e3 (diff) | |
| parent | 555a60753c3a14380bce03c75713b81ff08a0805 (diff) | |
| download | servo-46611b012e9342b6845165c258e9a73311e4d6f4.tar.gz servo-46611b012e9342b6845165c258e9a73311e4d6f4.zip | |
Auto merge of #24268 - servo:jdm-patch-57, r=SimonSapin
Extend nightly WPT update timeout by an hour.
Jobs have been timing out more than usual recently, and on machines that don't have any clear resource hogging going on.
<!-- 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/24268)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/document_loader.rs')
0 files changed, 0 insertions, 0 deletions