PR #19323 [ty] Remove `FileLookupError`

[ty] Remove `FileLookupError` #19323

dhruvmanila merged 2 commits into main from dhruv/remove-file-lookup-error

dhruvmanila requested a review from

carljm 149 days ago

dhruvmanila requested a review from

MichaReiser 149 days ago

dhruvmanila requested a review from

AlexWaygood 149 days ago

dhruvmanila requested a review from

sharkdp 149 days ago

dhruvmanila requested a review from

dcreager 149 days ago

dhruvmanila added internal

dhruvmanila added server

dhruvmanila added ty

dhruvmanila removed review request from

dcreager 149 days ago

dhruvmanila removed review request from

carljm 149 days ago

dhruvmanila removed review request from

sharkdp 149 days ago

dhruvmanila removed review request from

AlexWaygood 149 days ago

MichaReiser approved these changes on 2025-07-14

[ty] Remove `FileLookupError`

f171c7b6

Rename `file_ok` -> `file`

ebdd700f

dhruvmanila force pushed from fa4851bd to ebdd700f 149 days ago

dhruvmanila enabled auto-merge (squash) 149 days ago

dhruvmanila merged 8a217e59 into main 149 days ago

dhruvmanila deleted the dhruv/remove-file-lookup-error branch 149 days ago

Reviewers

MichaReiser

Assignees

No one assigned

Labels

internal server ty

Milestone

No milestone