diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2019-11-29 09:44:44 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-29 09:44:44 -0500 |
| commit | 1936fb6637730b5b8769cce70f4cd256f8ce2cee (patch) | |
| tree | 80632fff5e26450afc8a96a9c465c1160b8fed18 | |
| parent | f9c69e84a9301f2bb84a5d525609aa1db1c43691 (diff) | |
| download | servo-1936fb6637730b5b8769cce70f4cd256f8ce2cee.tar.gz servo-1936fb6637730b5b8769cce70f4cd256f8ce2cee.zip | |
Extend WPT update job timeout.
| -rw-r--r-- | etc/taskcluster/decision_task.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/taskcluster/decision_task.py b/etc/taskcluster/decision_task.py index 12f23734464..c9d7c4502b9 100644 --- a/etc/taskcluster/decision_task.py +++ b/etc/taskcluster/decision_task.py @@ -587,7 +587,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(6 * 60) + .with_max_run_time_minutes(8 * 60) # Not using the bundle, pushing the new changes to the git remote requires a full repo. .with_repo(alternate_object_dir="/var/cache/servo.git/objects") ) |