Stream: Coq devs & plugin devs

Topic: ✔ Why doesn't lint job show locations?


view this post on Zulip Ali Caglayan (Jan 25 2022 at 19:49):

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

view this post on Zulip Ali Caglayan (Jan 25 2022 at 19:50):

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

view this post on Zulip Gaëtan Gilbert (Jan 25 2022 at 19:52):

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

view this post on Zulip Gaëtan Gilbert (Jan 25 2022 at 19:52):

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

view this post on Zulip Ali Caglayan (Jan 25 2022 at 19:55):

Ah ok, the log on github was truncated

view this post on Zulip Ali Caglayan (Jan 25 2022 at 19:55):

Thanks

view this post on Zulip Notification Bot (Jan 25 2022 at 19:55):

Ali Caglayan has marked this topic as resolved.


Last updated: Feb 02 2023 at 15:04 UTC