Fow now on, we are happy with travis-ci & gitlab-ci. I have no interest in CircleCI as for today.