3 ms·

We switched to building with Gitlab-CI and haven't looked back. A big bonus over Jenkins is the lack of Java.