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

Extend nightly WPT update timeout by an hour.

Browse source
This commit is contained in:
Josh Matthews 2019-09-23 11:19:43 -04:00 • committed by GitHub
parent 4fe8238b14
commit 555a60753c
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_features("taskclusterProxy")
.with_scopes("secrets:get:project/servo/wpt-sync") .with_scopes("secrets:get:project/servo/wpt-sync")
.with_index_and_artifacts_expire_in(log_artifacts_expire_in) .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 ( return (
with_homebrew(update_task, [ with_homebrew(update_task, [