Skip to content

making is_derive_mx instance causes loops - #2074

Open
affeldt-aist wants to merge 1 commit into
math-comp:masterfrom
affeldt-aist:derive_20260806
Open

making is_derive_mx instance causes loops#2074
affeldt-aist wants to merge 1 commit into
math-comp:masterfrom
affeldt-aist:derive_20260806

making is_derive_mx instance causes loops

40b8766
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-core
succeeded Aug 6, 2026 in 1m 46s