Skip to content

Make the lint step optional#6

Open
fhunleth wants to merge 1 commit intogridpoint-com:mainfrom
fhunleth:optional-lint
Open

Make the lint step optional#6
fhunleth wants to merge 1 commit intogridpoint-com:mainfrom
fhunleth:optional-lint

Conversation

@fhunleth
Copy link
Copy Markdown

@fhunleth fhunleth commented Sep 29, 2025

The nerves_system_lint project isn't well-maintained at the moment and
produces debatable advise. This allows users to remove the dependency if
they don't want the noise.

Important note: I'm not sure how to test this, so at the moment, it's untested.

The nerves_system_lint project isn't well-maintained at the moment and
produces debatable advise. This allows users to remove the dependency if
they don't want the noise.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant