Skip to content

[Repo Assist] fix: prevent duplicate test ID crash for xUnit MemberData; improve theory name parsing; add TypeCheck build target#2156

Draft
github-actions[bot] wants to merge 2 commits intomainfrom
repo-assist/fix-duplicate-test-ids-2126-1682f0570a8b1e32
Draft

[Repo Assist] fix: prevent duplicate test ID crash for xUnit MemberData; improve theory name parsing; add TypeCheck build target#2156
github-actions[bot] wants to merge 2 commits intomainfrom
repo-assist/fix-duplicate-test-ids-2126-1682f0570a8b1e32

Commits

Commits on Mar 19, 2026