devx: Fix whitespace job output is too verbose

[mpickering]

Consider this log: https://github.com/haskell/cabal/actions/runs/12749677510/job/35532656499?pr=10731

I couldn't see immediately where the failure was.

On line 1896, I discover:

[ Violation detected ] cabal-testsuite/PackageTests/ExtraProgPathLocal/cabal.project:
cabal-testsuite/PackageTests/ExtraProgPathLocal/cabal.project:3: <NEWLINE>
cabal-testsuite/PackageTests/ExtraProgPathLocal/cabal.project:4: <NEWLINE>

Either, the failures should be reported at the end, or run in non-verbose mode.

[philderbeast]

Not to diminish the problem but if I see there's a whitespace problem, I'll run the fix locally right away (and use git diff to see the fix). I don't bother looking at the logs.

$ time make fix-whitespace
...
________________________________________________________
Executed in  476.70 millis    fish           external

[mpickering]

That is useful if you wish to locally install fix-whitespace, but I don't have it installed locally so I rely on CI to tell me. I think that quite a few contributors will not have it installed so it's best that CI logs are as helpful as possible for quickly identifying the problem 😃

[andreasabel]

This would be best fixed upstream at https://github.com/agda/fix-whitespace .
As a workaround, you could filter out the [ Checked ] lines from the output of fix-whitespace.

[ulysses4ever]

yeah, piping it through grep sounds like a great workaround to me.