Comment by towawayzone

My mistake. It appears that Github still doesn't have any first-party CI offering. I must have confused it with the other two.