Bolzano weierstrass #4820

Job	Run time
rocq-core	1m 1s
rocq-elpi	1m 1s
coq	1m 3s
stdlib	1m 3s
coq-elpi	1m 4s
mathcomp-finmap	59s
mathcomp-bigenough	1m 4s
hierarchy-builder	54s
mathcomp-classical	2m 59s
mathcomp	58s
mathcomp-analysis-single	16m 46s
mathcomp-reals	2m 14s
mathcomp-experimental-reals	1m 55s
mathcomp-reals-stdlib	1m 41s
mathcomp-analysis	15m 20s
mathcomp-analysis-stdlib	15m 19s
	1h 5m 21s

Provide feedback