ruff
Split `CallPath` into `QualifiedName` and `UnqualifiedName`
#10210
Merged

Split `CallPath` into `QualifiedName` and `UnqualifiedName` #10210

MichaReiser merged 2 commits into main from rename-call-path
MichaReiser
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 1 year ago
MichaReiser MichaReiser added internal
MichaReiser MichaReiser requested a review from charliermarsh charliermarsh 1 year ago
MichaReiser MichaReiser force pushed from 70552855 to bcb457d7 1 year ago
github-actions
charliermarsh
charliermarsh commented on 2024-03-03
charliermarsh
charliermarsh approved these changes on 2024-03-03
MichaReiser Split `CallPath` into `QualifiedName` and `UnqualifiedName`
e71b7a22
MichaReiser Rename call_path to qualified_name
71dd02a7
MichaReiser MichaReiser force pushed from bcb457d7 to 71dd02a7 1 year ago
MichaReiser MichaReiser enabled auto-merge (squash) 1 year ago
MichaReiser MichaReiser merged a6d892b1 into main 1 year ago
MichaReiser MichaReiser deleted the rename-call-path branch 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone