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: Oct 13 2024 at 01:02 UTC