Search global instances using instance case tree #1439

Open

Labels

Milestone

opened

on Nov 25, 2025

Follow-up of #1427

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

v0.41No due date

Relationships

None yet

Development

No branches or pull requests