set of limit points is closed #5105

Job	Run time
rocq-core	56s
rocq-elpi	58s
coq	51s
coq-elpi	56s
stdlib	1m 0s
mathcomp-finmap	59s
mathcomp-bigenough	53s
hierarchy-builder	1m 5s
mathcomp-analysis-single	18m 34s
mathcomp-classical	54s
mathcomp	54s
mathcomp-reals	1m 24s
mathcomp-analysis	16m 12s
mathcomp-reals-stdlib	54s
mathcomp-experimental-reals	54s
mathcomp-analysis-stdlib	1m 8s
	48m 32s

Provide feedback