added within_continuous_patch #5073

Job	Run time
rocq-core	2m 11s
rocq-elpi	2m 48s
stdlib	52s
coq-elpi	1m 13s
coq	1m 9s
mathcomp-bigenough	1m 50s
mathcomp-finmap	1m 44s
hierarchy-builder	-1s
mathcomp	-1s
mathcomp-classical	-1s
mathcomp-analysis-single	-1s
mathcomp-analysis	0s
mathcomp-reals	0s
mathcomp-reals-stdlib	0s
mathcomp-experimental-reals	0s
mathcomp-analysis-stdlib	0s
	11m 43s

Provide feedback