Skip to content

Show the definitions of the aliases a refinement error uses - #489

Merged
CatarinaGamboa merged 3 commits into
mainfrom
fix/295-alias-expansion
Nov 5, 2026
Merged

Show the definitions of the aliases a refinement error uses#489
CatarinaGamboa merged 3 commits into
mainfrom
fix/295-alias-expansion

Tell apart alias invocations that display the same

5731d46
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar