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?
Ah ok, the log on github was truncated
Ali Caglayan has marked this topic as resolved.
Last updated: Nov 29 2023 at 05:01 UTC