Skip to content

[red-knot] Early return from project.is_file_open for vendored files#17580

Merged
MichaReiser merged 1 commit into
mainfrom
micha/is-file-open
Apr 23, 2025
Merged

[red-knot] Early return from project.is_file_open for vendored files#17580
MichaReiser merged 1 commit into
mainfrom
micha/is-file-open

[red-knot] Try to early return from `project.is_file_open`

dfc8544
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs