Re: Travis again over time

On Sat, Mar 18, 2017, at 05:36, Alan & Kim Zimmerman wrote:

FYI, liquidhaskell switched from travis to circleci.com because of timeout problems.

It seems the time available is larger there.

IIRC CircleCI doesn't have an overall build timeout at all, just (configurable) per-command timeouts.