Zulip Chat Archive

Stream: new members

Topic: Running the linter locally


view this post on Zulip Frédéric Dupuis (Jul 21 2020 at 00:15):

Is there a way to run the linter locally to make sure all the checks pass before committing?

view this post on Zulip Jalex Stark (Jul 21 2020 at 00:26):

#lint

view this post on Zulip Jalex Stark (Jul 21 2020 at 00:26):

i usually put it at the bottom of the file but maybe one can put it anywhere instead

view this post on Zulip Floris van Doorn (Jul 21 2020 at 05:09):

To elaborate on Jalex: #lint checks all declarations in that file (above the #lint command). There is also #lint_mathlib that checks in all files (in mathlib) that you've imported.

view this post on Zulip Frédéric Dupuis (Jul 21 2020 at 13:21):

Thanks!


Last updated: May 14 2021 at 05:20 UTC