8000 Catch errors on mypy config and generate a message by sbrunner · Pull Request #753 · prospector-dev/prospector · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Catch errors on mypy config and generate a message #753

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
Merged
merged 1 commit into from
Apr 10, 2025
Merged

Catch errors on mypy config and generate a message #753

merged 1 commit into from
Apr 10, 2025

Conversation

sbrunner
Copy link
Member

Description

Display better errors on config parsing

Motivation and Context

Better messages for mypy

Copilot
Copilot AI reviewed Apr 10, 2025
View reviewed changes
Copy link
@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.

@sbrunner sbrunner marked this pull request as ready for review April 10, 2025 13:57
@sbrunner sbrunner merged commit 173d617 into master Apr 10, 2025
7 checks passed
@Pierre-Sassoulas Pierre-Sassoulas deleted the mypy-config branch April 10, 2025 14:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

Copilot code review Copilot Copilot left review comments

@Pierre-Sassoulas Pierre-Sassoulas Pierre-Sassoulas approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@sbrunner @Pierre-Sassoulas
0