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

Job	Run time
rocq-core	53s
coq	1m 0s
mathcomp-analysis-single	19m 10s
mathcomp-classical	49s
mathcomp-reals	1m 50s
mathcomp-reals-stdlib	48s
mathcomp-experimental-reals	51s
mathcomp-analysis	1m 11s
mathcomp-analysis-stdlib	56s
ssprove	7m 44s
mathcomp-infotheo	51s
	36m 3s

Provide feedback