Hi All, Travis appears [1] to be both broken and struggling to keep up with our builds. I have disabled it for now. If you have an interest in maintaining Travis then feel free to fix and reenable it. Cheers, - Ben [1] https://travis-ci.org/ghc/ghc/builds