CircleCI (Was: Disable Travis?)

Richard Eisenberg rae at
Mon Oct 2 17:56:35 UTC 2017

> On Oct 2, 2017, at 1:15 PM, Joachim Breitner <mail at> wrote:
> Well, eventually we will have Jenkins and All Is Wellâ„¢.

But in the meantime, I can push to my branch and then manually check CircleCI a little while later and get meaningful results, which is much better than we've had in some time. Email would just be icing on the cake -- I'm quite happy as is.



More information about the ghc-devs mailing list