mirror of
https://github.com/servo/servo.git
synced 2025-08-19 20:35:34 +01:00
Refactored tidy for efficiency and optionally provide feedback on progress
This commit is contained in:
parent
3f74c07e20
commit
78a966c547
3 changed files with 82 additions and 53 deletions
|
|
@ -4,7 +4,7 @@ matrix:
|
|||
fast_finish: true
|
||||
include:
|
||||
- sudo: false
|
||||
script: ./mach test-tidy
|
||||
script: ./mach test-tidy --no-progress
|
||||
cache: false
|
||||
- sudo: 9000
|
||||
dist: trusty
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue