lint-style broken ?

Stream: mathlib4

[Antoine Chambert-Loir]

Tonight, lake exe lint-style --fix did not fix any of the stuff it detected.

[Michael Rothgang]

Can you be more specific? What kind of errors occurred?

[Michael Rothgang]

This linter knows how to automatically fix some errors, but not all of them.
Partially, this is by design (how would you fix a "long line" error in general? the right fix depends on the situation); for some, nobody has implemented an automatic fix yet.

[Michael Rothgang]

There were some recent changes to the linter, so it is possible something broke. Did you notice the same errors getting fixed previously?

[Antoine Chambert-Loir]

It's the trailing space error, lint-style used to fix them on the spot, but not today.