CodeIssuesPullsCIStacksSearchBranchesTags

cases: fix type names

A different merge must have changed these numbers before this PR was
merged, leading to CI failures.
aa65fd5d7cmlugg committed on 6/7/2025, 5:06:51 PM· committed by Andrew Kelleyparente96d860
1 file changedLine totals unavailable