They just raised more funding in a Series D[1]. CircleCI isn't the only player in the space and GitHub entering the playing field doesn't change that either. There's enough space for a few competitors and having competition will probably push everyone to build a better product.

[1] https://circleci.com/blog/we-raised-a-56m-series-d-what-s-ne...