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

Servo may take a while to build

Browse source
This commit is contained in:
Simon Sapin 2018-09-14 20:09:23 +02:00
parent aa94e436b5
commit 12442d43ee
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
decision-task.py
View file

@ -28,7 +28,7 @@ def main():
task_name="servo build task", task_name="servo build task",
command="./servo-build-task.sh", command="./servo-build-task.sh",
dockerfile=dockerfile("servo-x86_64-linux"), dockerfile=dockerfile("servo-x86_64-linux"),
max_run_time_minutes=60, max_run_time_minutes=3 * 60,
scopes=CARGO_CACHE_SCOPES, scopes=CARGO_CACHE_SCOPES,
cache=CARGO_CACHE, cache=CARGO_CACHE,
) )