How can we make the lint job show the location. When I run the lint script locally it shows where the problems are.

For example, looking at https://github.com/coq/coq/pull/14740/checks?check_run_id=4942392174 doesn't tell me anything

Do you mean the `doc/sphinx/proofs/writing-proofs/reasoning-inductives.rst:975: trailing whitespace.`

line?

https://gitlab.com/coq/coq/-/jobs/2015495750#L436

Ah ok, the log on github was truncated

Thanks

Ali Caglayan has marked this topic as resolved.

Last updated: Jun 13 2024 at 07:01 UTC