Seminorm tvs #88

Job	Run time
rocq-core	1m 14s
mathcomp-bigenough	1m 14s
micromega-plugin	1m 18s
mathcomp	1m 14s
mathcomp-finmap	1m 14s
coq	1m 17s
mathcomp-classical	3m 49s
mathcomp-analysis-single	20m 53s
mathcomp-reals	2m 25s
mathcomp-analysis	18m 34s
mathcomp-reals-stdlib	1m 54s
mathcomp-analysis-stdlib	2m 4s
mathcomp-experimental-reals	2m 32s
mathcomp-infotheo	23m 25s
	1h 23m 7s

Provide feedback