To preserve the mathcomp CI (forward dependency) for PR#1611#1987

gbdrt wants to merge 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

gbdrt:unstable_20260605gbdrt/analysis:unstable_20260605Copy head branch name to clipboard