Changelog for version 1.15.0 #4877

Job	Run time
rocq-elpi	1m 8s
rocq-core	59s
coq	1m 3s
coq-elpi	1m 2s
stdlib	1m 1s
mathcomp-finmap	1m 1s
mathcomp-bigenough	1m 5s
hierarchy-builder	58s
mathcomp-classical	3m 4s
mathcomp-analysis-single	18m 3s
mathcomp	1m 7s
mathcomp-reals	4m 17s
mathcomp-reals-stdlib	1m 34s
mathcomp-analysis	15m 0s
mathcomp-experimental-reals	2m 7s
mathcomp-analysis-stdlib	16m 11s
	1h 9m 40s

Provide feedback