Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Report when linter run fails #8293

Closed
C-nit opened this issue Oct 30, 2019 · 3 comments
Closed

Report when linter run fails #8293

C-nit opened this issue Oct 30, 2019 · 3 comments
Labels
area-diagnostics Logging/Features to facilitate diagnosing user problems area-linting feature-request Request for new features or functionality

Comments

@C-nit
Copy link

C-nit commented Oct 30, 2019

This is a similar feature request to #8196 but for linters instead of formatters.

When the linter errors for some reason (for example #7098, by setting bad options for flake8) the result is the same as having no linting problems in the respective file.
Such a silent failure is not obvious to debug if no indication is given.
@C-nit C-nit added triage-needed Needs assignment to the proper sub-team feature-request Request for new features or functionality labels Oct 30, 2019
@kimadeline
Copy link

Hi @C-nit , thank you for the suggestion! We have marked this issue as "needs decision" to make sure we have a conversation about your idea. We plan to leave this feature request open for at least a month to see how many 👍 votes your idea gets to help us make our decision.

@ghost ghost removed the triage-needed Needs assignment to the proper sub-team label Oct 30, 2019
@luabud luabud added area-diagnostics Logging/Features to facilitate diagnosing user problems needs PR needs proposal Need to make some design decisions and removed needs decision labels Nov 27, 2019
@iutlu
Copy link

iutlu commented May 11, 2020

A while ago I ran into a problem with Anaconda mypy not working on Windows, which was a bit difficult to debug since the errors were not being reported (#5850) so this would be a welcome addition!

@luabud luabud removed their assignment May 12, 2022
@karthiknadig
Copy link
Member

Please use linter specific extensions for this which has a setting to show notification on errors.

@github-actions github-actions bot removed the needs proposal Need to make some design decisions label Oct 31, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 1, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
area-diagnostics Logging/Features to facilitate diagnosing user problems area-linting feature-request Request for new features or functionality
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@karthiknadig @C-nit @iutlu @luabud @kimadeline