Was it 3-4 minutes when updating a single file? Or only running over the whole repo?