[red-knot] Early return from project.is_file_open for vendored files#17580
Merged
MichaReiser merged 1 commit intomainfrom Apr 23, 2025
Merged
[red-knot] Early return from project.is_file_open for vendored files#17580MichaReiser merged 1 commit intomainfrom
project.is_file_open for vendored files#17580MichaReiser merged 1 commit intomainfrom