Skip to content

solve mixin dependencies via TC#596

Open
gares wants to merge 9 commits into
math-comp:masterfrom
Tragicus:mixin-tc
Open

solve mixin dependencies via TC#596
gares wants to merge 9 commits into
math-comp:masterfrom
Tragicus:mixin-tc

declare mixin instances only for the first class

15582e1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
mathcomp-single
succeeded Jun 17, 2026 in 45s