-
-
Notifications
You must be signed in to change notification settings - Fork 1.8k
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
Fix unnecessary 'pyright: ignore' warning in CI #13101
Conversation
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
Hmm, what problem is this fixing? I see lots of stdlib stubtest failures on recent pushes |
See here, for example: https://github.com/python/typeshed/actions/runs/12013896148/job/33488465170?pr=11709 Cf. #11709 |
Huh, that's very odd... Has it been happening on any other PRs that you know of? |
I've merged the latest changes for the unnecessary allowlist entries into a few PRs. Let's see what happens. |
Okay, it's not really a flake: the It's because that PR adds stubs that depend on |
Indeed. The question is how to solve it. Maybe we just depend on tomli in requirements for Python < 3.11? |
Alternatively... we could maybe just delete this module from the stubs? It seems like an implementation detail at runtime to me; I'm not sure it's meant to be for public consumption. It's probably not worth the bother to maintain stuff like this? @Avasam, what do you think? |
According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉 |
I concur with Alex' assessment of the CI failure. And yes |
No description provided.