3 ms·

For some reason I never considered RPi4 as build server. Thanks for your comment, I have one spare and will try to utilize it as gitlab runner.