4 ms·

You can still put a human in the loop of course, only merging PRs that are actually an improvement.