Skip to content

9j: delete metricInner typeclass abbrev — end of typeclass-bound metric API#45

Merged
Xinze-Li-Moqian merged 2 commits into
mainfrom
refactor/explicit-g-9j
May 19, 2026
Merged

9j: delete metricInner typeclass abbrev — end of typeclass-bound metric API#45
Xinze-Li-Moqian merged 2 commits into
mainfrom
refactor/explicit-g-9j

9j followup: bump EXPECTED_SHAKE 36→38 (MetricAPI deletion exposes 2 …

ccf40da
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar