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.

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

multi-platform mypy #12345

Closed
wants to merge 1 commit into from
Closed

Conversation

KotlinIsland
Copy link
Contributor

@KotlinIsland KotlinIsland commented Mar 13, 2022

Have you read the Contributing Guidelines?

(Once you have, delete this section. If you leave it in, your PR may be closed without action.)

Description

(Explain how this PR changes mypy.)

Test Plan

(Write your test plan here. If you changed any code, please provide us with clear instructions on how you verified your changes work.)

relates: #12286

@github-actions
Copy link
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@jhance
Copy link
Collaborator

jhance commented Mar 14, 2022

Are you missing a git add?

@KotlinIsland
Copy link
Contributor Author

Nah, I just wanted to steal #12345 and then work on it later 😁

@97littleleaf11

This comment was marked as off-topic.

@KotlinIsland
Copy link
Contributor Author

Yeah, sorry, this is regarding #12286

@KotlinIsland KotlinIsland changed the title parallel mypy multi-platform mypy Mar 14, 2022
@jhance
Copy link
Collaborator

jhance commented Mar 17, 2022

I don't think #933 is as related, it seems to be about having multiple processes processing a single configuration using some sort of queue to communicate.

@hauntsaninja
Copy link
Collaborator

It's a nice PR number, so feel free to re-open if there's something you'd like to do with it :-)

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.

4 participants