I should try to fix CircleCI caching, builds are taking a few minutes longer than they should
And maybe I should try to find a service where I can ensure that only one deploy is running at a time, currently merging two PR's at the same time causes problems
@juhoteperi: I think https://buildkite.com/ lets you do that
plus they have pipelining which might make your builds faster
not sure about pricing though
Hmm looks like they don't have a free plan, but they provide discounts for open-source projects
I might try the trial and ask for the discount if it's good
GitLab CI also looks very promising
Looks like Travis allows limiting concurrent builds and their caching works better with Boot
I was under the impression that Travis was getting really slow these days
Could be
That's why I have preferred Circle