[Macha]

I don't know about the timeline between when Gitlab CI started vs Travis, and gitlab certainly made the innovation of integrating it into the code host, but certainly Travis and Circle CI were popular before Gitlab was.