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

Auto merge of #25529 - servo:jdm-patch-31, r=SimonSapin

Browse source 
Slightly increase timeout for linux tidy+unit task.

Fixes #25528.
This commit is contained in:
bors-servo 2020-01-16 01:43:29 -05:00 • committed by GitHub
commit 7b6e60883f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
etc/taskcluster/decision_task.py
View file

@ -200,6 +200,7 @@ def linux_tidy_unit():
return ( return (
linux_build_task("Tidy + dev build + unit tests") linux_build_task("Tidy + dev build + unit tests")
.with_treeherder("Linux x64", "Tidy+Unit") .with_treeherder("Linux x64", "Tidy+Unit")
.with_max_run_time_minutes(75)
.with_script(""" .with_script("""
./mach test-tidy --no-progress --all ./mach test-tidy --no-progress --all
python3 ./mach test-tidy --no-progress --all --no-wpt python3 ./mach test-tidy --no-progress --all --no-wpt