18 Mar
2017
18 Mar
'17
12:32 p.m.
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.