4 ms·

I splurge on a fancier server and just git pull and build on the server. Less than 10 seconds for sure.