ruff
[red-knot] inferred type, not Unknown, for undeclared paths
#13400
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
[red-knot] inferred type, not Unknown, for undeclared paths
#13400
carljm
merged 1 commit into
main
from
cjm/declared-vs-non
carljm
requested a review
from
MichaReiser
1 year ago
carljm
requested a review
from
AlexWaygood
1 year ago
carljm
added
ty
AlexWaygood
approved these changes on 2024-09-19
carljm
force pushed
from
51d8d50a
to
7eeefadd
1 year ago
Base automatically changed from
cjm/typing-extensions-reveal-type
to
main
1 year ago
[red-knot] inferred type, not Unknown, for undeclared paths
f4e2b7ad
carljm
force pushed
from
7eeefadd
to
f4e2b7ad
1 year ago
carljm
merged
125eaafa
into main
1 year ago
carljm
deleted the cjm/declared-vs-non branch
1 year ago
MichaReiser
commented on 2024-09-19
Login to write a write a comment.
Login via GitHub
Reviewers
AlexWaygood
MichaReiser
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub