mv function_spaces #5079

Job	Run time
rocq-elpi	57s
rocq-core	56s
coq-elpi	1m 3s
stdlib	52s
coq	51s
mathcomp-bigenough	59s
mathcomp-finmap	1m 0s
hierarchy-builder	54s
mathcomp-analysis-single	19m 8s
mathcomp	1m 2s
mathcomp-classical	3m 7s
mathcomp-reals	4m 29s
mathcomp-experimental-reals	1m 58s
mathcomp-analysis	15m 57s
mathcomp-reals-stdlib	2m 22s
mathcomp-analysis-stdlib	2m 46s
	58m 21s

Provide feedback