Adapt to https://github.com/math-comp/math-comp/pull/1545 (#1860) #664

Job	Run time
rocq-core	49s
coq	41s
mathcomp-classical	2m 35s
mathcomp-analysis-single	14m 24s
mathcomp-reals	1m 52s
mathcomp-analysis	12m 22s
mathcomp-reals-stdlib	1m 34s
mathcomp-experimental-reals	1m 40s
mathcomp-analysis-stdlib	1m 31s
mathcomp-infotheo	6m 33s
	44m 1s

Provide feedback