3 ms·

I've also found pre-commit useful to prevent CI failure. If one runs into edge cases, one can switch it off.