adherence value, extracted seq, limit point #4798

Job	Run time
rocq-core	1m 7s
rocq-elpi	1m 5s
coq-elpi	57s
coq	1m 5s
stdlib	56s
hierarchy-builder	1m 0s
mathcomp-finmap	1m 6s
mathcomp-bigenough	1m 2s
mathcomp	1m 4s
mathcomp-analysis-single	16m 51s
mathcomp-classical	2m 59s
mathcomp-reals	4m 38s
mathcomp-experimental-reals	3m 2s
mathcomp-analysis	17m 51s
mathcomp-reals-stdlib	1m 35s
mathcomp-analysis-stdlib	1m 46s
	58m 4s

Provide feedback