bipointed and paths #3225

Job	Run time
coq	40s
coq-elpi	40s
mathcomp-finmap	3m 13s
mathcomp-bigenough	3m 3s
hierarchy-builder	41s
mathcomp	9m 8s
mathcomp-analysis-single	16m 14s
mathcomp-classical	4m 45s
mathcomp-reals	2m 9s
mathcomp-experimental-reals	2m 27s
mathcomp-analysis	10m 47s
mathcomp-reals-stdlib	2m 4s
mathcomp-analysis-stdlib	9m 44s
	1h 5m 35s

Provide feedback