Skip to content

Cache information about whether file is typeshed file#16351

Merged
JukkaL merged 1 commit intomasterfrom
cache-is-typeshed
Oct 28, 2023
Merged

Cache information about whether file is typeshed file#16351
JukkaL merged 1 commit intomasterfrom
cache-is-typeshed

Conversation

@JukkaL
Copy link
Copy Markdown
Collaborator

@JukkaL JukkaL commented Oct 28, 2023

We used to check if a file is in typeshed a lot. This seems to speed up self-check by about 2%, and this should also speed up tests a bit.

We used to check if a file is in typeshed a lot. This seems to speed
up self-check by about 2%, and this should also speed up tests a bit.
@github-actions
Copy link
Copy Markdown
Contributor

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@JukkaL JukkaL merged commit c4ab46e into master Oct 28, 2023
@JukkaL JukkaL deleted the cache-is-typeshed branch October 28, 2023 14:00
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.

2 participants