Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

[docs] move --use-fine-grained-cache to Incremental group#20176

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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Open
wyattscarpenter wants to merge1 commit intopython:master
base:master
Choose a base branch
Loading
fromwyattscarpenter:use_fine

Conversation

@wyattscarpenter
Copy link
Contributor

@wyattscarpenterwyattscarpenter commentedNov 3, 2025
edited
Loading

This commit moves--use-fine-grained-cache out of misc into incremental, a cli documentation group that seems more suitable. It also notes that the flag can only be used in dmypy.


@ilevkivskyi, you seem like something of a "code owner" for this feature, so feel free to close this PR if you thought the old location was better — you would know! 🙂

@github-actions
Copy link
Contributor

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

Copy link
Member

@ilevkivskyiilevkivskyi left a comment

Choose a reason for hiding this comment

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

TBH, I am not really the owner of this feature. But also I think it is inmisc intentionally,incremental_group is used for the regular (coarse-grained) incremental mode, while this is flag if for mypy daemon (fine-grained incremental) mode.

wyattscarpenter reacted with thumbs up emoji
@wyattscarpenter
Copy link
ContributorAuthor

Seems to me that if--cache-fine-grained is the option above this, as it is, then the group is probably conceptually broad enough for both of them 🤷

Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment

Reviewers

@ilevkivskyiilevkivskyiilevkivskyi left review comments

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

@wyattscarpenter@ilevkivskyi

[8]ページ先頭

©2009-2025 Movatter.jp