split measure.v #4552

Job	Run time
rocq-elpi	52s
rocq-core	47s
stdlib	10s
coq	45s
coq-elpi	50s
mathcomp-bigenough	47s
mathcomp-finmap	53s
hierarchy-builder	51s
mathcomp	46s
mathcomp-classical	3m 3s
mathcomp-analysis-single	-1s
mathcomp-reals	2m 8s
mathcomp-experimental-reals	1m 53s
mathcomp-analysis	15m 29s
mathcomp-reals-stdlib	0s
mathcomp-analysis-stdlib	0s
stdlib	53s
rocq-core	47s
mathcomp-bigenough	47s
mathcomp-finmap	53s
hierarchy-builder	51s
mathcomp	46s
mathcomp-reals	2m 8s
mathcomp-classical	3m 3s
mathcomp-experimental-reals	1m 53s
mathcomp-analysis	15m 29s
coq-elpi	50s
coq	45s
rocq-elpi	52s
mathcomp-analysis-single	17m 59s
mathcomp-reals-stdlib	4m 46s
mathcomp-analysis-stdlib	16m 6s
	1h 38m 1s

Provide feedback