Re: [dev-servo] Servo and Merging PRs with Travis CI

2014-06-20 Thread Brian Anderson
Thanks for slogging through this, Lars. Having reliable CI is going to do a lot to accelerate development. On 06/20/2014 06:08 AM, Lars Bergstrom wrote: We recently moved our infrastructure to Travis CI in order to gain some flexibility (http://www.lars.com/servo/travis/2014/06/11/servo-travis

[dev-servo] Servo and Merging PRs with Travis CI

2014-06-20 Thread Lars Bergstrom
We recently moved our infrastructure to Travis CI in order to gain some flexibility (http://www.lars.com/servo/travis/2014/06/11/servo-travisci.html) and reduce our build time (clean builds have gone from hours to < 10 minutes!). This e-mail describes some of the temporary and longer-term change