Skip to content

Conversation

@srittau
Copy link
Collaborator

@srittau srittau commented Nov 1, 2025

See python/mypy#20160 for details.

Closes: #14893

Copy link
Collaborator

@hauntsaninja hauntsaninja left a comment

Choose a reason for hiding this comment

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

isn't it better to not use the (...)? trick so we remove the entry once stubtest has the improvement?

@srittau
Copy link
Collaborator Author

srittau commented Nov 1, 2025

The problem is that for some reason this wasn't triggered each night, although I don't know why.

@hauntsaninja
Copy link
Collaborator

hmm!

@hauntsaninja hauntsaninja merged commit 8aaa86f into python:main Nov 1, 2025
43 checks passed
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.

stubtest errors when libraries are using @deprecated

3 participants