`littleoE0` #136

Job	Run time
rocq-core	40s
coq	44s
mathcomp-analysis-single	14m 22s
mathcomp-classical	2m 38s
mathcomp-reals	1m 51s
mathcomp-reals-stdlib	1m 23s
mathcomp-analysis	11m 35s
mathcomp-experimental-reals	1m 40s
mathcomp-analysis-stdlib	1m 31s
	36m 24s

Provide feedback