Merge pull request #1884 from proux01/ci-update #687

Job	Run time
rocq-core	53s
coq	55s
mathcomp-classical	1m 1s
mathcomp-analysis-single	1m 0s
mathcomp-reals	56s
mathcomp-analysis	52s
mathcomp-reals-stdlib	59s
mathcomp-experimental-reals	56s
mathcomp-analysis-stdlib	1m 6s
mathcomp-infotheo	51s
	9m 29s

Provide feedback