7 ms·

The bad part is no file is cached between pushes, right?