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/project
succeeded
Jun 15, 2026 in 1s
46% (-1%) compared to 53d2faa
View this Pull Request on Codecov
46% (-1%) compared to 53d2faa
Loading