derive_mx #5077

Job	Run time
rocq-elpi	1m 34s
rocq-core	56s
stdlib	52s
coq-elpi	56s
coq	57s
hierarchy-builder	1m 41s
mathcomp-bigenough	2m 44s
mathcomp-finmap	3m 16s
mathcomp	15m 47s
mathcomp-analysis-single	30m 47s
mathcomp-classical	10m 27s
mathcomp-reals	4m 34s
mathcomp-reals-stdlib	1m 37s
mathcomp-experimental-reals	1m 58s
mathcomp-analysis	16m 26s
mathcomp-analysis-stdlib	16m 55s
	1h 51m 27s

Provide feedback