Don't re-lint files that have already passed after a lint failure