qq: during the jenkins/travis efforts back in the day, did we look at CircleCI?