CircleCI (Was: Disable Travis?)

[Richard Eisenberg]

> On Oct 2, 2017, at 1:15 PM, Joachim Breitner <mail at joachim-breitner.de> 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.

Thanks!

Richard