Skip to content

feat: split SummaryDataType into a per-family (Kind, Params) vocabulary - #218

Merged
zzylol merged 1 commit into
mainfrom
summary-family-vocabulary
Aug 21, 2026
Merged

zzylol merged 1 commit into
mainfrom
summary-family-vocabulary

feat: split SummaryDataType into a per-family (Kind, Params) vocabulary

74774da
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Check PR title
succeeded Aug 19, 2026 in 4s