Our CI (Travis) is getting too slow, as you can see here:
It can take hours until you get feedback on your commit… so as a test, I’ve paused Travis and activated CircleCI instead, let’s see if that helps. If everything works well, not much will change other than the builds being faster and the links on GitHub’s list of commits pointing to CircleCI instead of Travis.