Skip to content

Fix multi-word type name truncation in :: casts#10

Merged
gmr merged 1 commit into
mainfrom
fix/cast-multiword-type-truncation
Jun 15, 2026
Merged

Fix multi-word type name truncation in :: casts#10
gmr merged 1 commit into
mainfrom
fix/cast-multiword-type-truncation

Fix multi-word type name truncation in :: casts

b8c0324
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar