removes the (unused) subtype relation between aprods and between aprods and their defined types#2534
Open
jurgenvinju wants to merge 5 commits into
Open
removes the (unused) subtype relation between aprods and between aprods and their defined types#2534jurgenvinju wants to merge 5 commits into
jurgenvinju wants to merge 5 commits into
Codecov / codecov/patch
succeeded
Jul 8, 2026 in 0s
Coverage not affected when comparing fd57777...78d6237
View this Pull Request on Codecov
Coverage not affected when comparing fd57777...78d6237
Loading