expectation of product #3176

Job	Run time
coq	4m 10s
mathcomp-bigenough	3m 49s
mathcomp-finmap	3m 53s
coq-elpi	1m 32s
hierarchy-builder	41s
mathcomp	9m 43s
mathcomp-classical	4m 33s
mathcomp-analysis-single	15m 39s
mathcomp-reals	2m 7s
mathcomp-analysis	10m 10s
mathcomp-reals-stdlib	2m 7s
mathcomp-experimental-reals	2m 27s
mathcomp-analysis-stdlib	1m 38s
	1h 2m 29s

Provide feedback