set of limit points is closed #5067

Job	Run time
rocq-core	2m 23s
rocq-elpi	2m 48s
stdlib	4m 1s
coq	1m 17s
coq-elpi	1m 19s
mathcomp-bigenough	1m 51s
mathcomp-finmap	1m 52s
hierarchy-builder	-1s
mathcomp	0s
mathcomp-classical	0s
mathcomp-reals	0s
mathcomp-analysis	-1s
mathcomp-experimental-reals	-1s
mathcomp-reals-stdlib	0s
mathcomp-analysis-single	0s
mathcomp-analysis-stdlib	0s
	15m 28s

Provide feedback