As we moved from Travis to CircleCI in some of our projects, this repository CI was broken at some point. I suggest we get Travis working again