Hahn banach 2026 #5096

Job	Run time
rocq-core	55s
rocq-elpi	1m 30s
coq-elpi	1m 30s
stdlib	4m 1s
coq	51s
hierarchy-builder	1m 33s
mathcomp-finmap	3m 0s
mathcomp-bigenough	3m 5s
mathcomp	14m 43s
mathcomp-classical	8m 6s
mathcomp-analysis-single	19m 56s
mathcomp-reals	4m 44s
mathcomp-experimental-reals	2m 9s
mathcomp-reals-stdlib	1m 42s
mathcomp-analysis	7m 35s
mathcomp-analysis-stdlib	-1s
	1h 15m 19s

Provide feedback