Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #24268 - servo:jdm-patch-57, r=SimonSapin

Browse source 
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 -->
This commit is contained in:
bors-servo 2019-09-25 03:58:14 -04:00 • committed by GitHub
commit 46611b012e
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/taskcluster/decision_task.py
View file

@ -558,7 +558,7 @@ def update_wpt():
.with_features("taskclusterProxy")
.with_scopes("secrets:get:project/servo/wpt-sync")
.with_index_and_artifacts_expire_in(log_artifacts_expire_in)
.with_max_run_time_minutes(5 * 60)
.with_max_run_time_minutes(6 * 60)
)
return (
with_homebrew(update_task, [