4 ms·

Iep. Running the tests over the new commits before pushing is still required. Usually not a big problem.