set of limit points is closed #5047

Job	Run time
rocq-core	2m 6s
rocq-elpi	2m 58s
coq-elpi	1m 21s
coq	1m 19s
stdlib	3m 57s
mathcomp-finmap	2m 48s
mathcomp-bigenough	2m 48s
hierarchy-builder	1m 49s
mathcomp	14m 6s
mathcomp-classical	9m 50s
mathcomp-analysis-single	29m 7s
mathcomp-reals	2m 3s
mathcomp-experimental-reals	1m 58s
mathcomp-reals-stdlib	1m 28s
mathcomp-analysis	15m 0s
mathcomp-analysis-stdlib	16m 12s
	1h 48m 50s

Provide feedback