Adapt to https://github.com/math-comp/math-comp/pull/1545 #644

Job	Run time
rocq-core	50s
coq	44s
mathcomp-analysis-single	14m 8s
mathcomp-classical	2m 41s
mathcomp-reals	1m 53s
mathcomp-analysis	12m 16s
mathcomp-experimental-reals	1m 43s
mathcomp-reals-stdlib	1m 22s
mathcomp-analysis-stdlib	1m 37s
mathcomp-infotheo	6m 58s
	44m 12s

Provide feedback