Hahn banach 2026 #5118

Job	Run time
rocq-elpi	49s
rocq-core	49s
stdlib	50s
coq-elpi	49s
coq	47s
hierarchy-builder	1m 0s
mathcomp-finmap	1m 0s
mathcomp-bigenough	50s
mathcomp	54s
mathcomp-classical	3m 3s
mathcomp-analysis-single	19m 31s
mathcomp-reals	2m 12s
mathcomp-analysis	15m 57s
mathcomp-reals-stdlib	1m 33s
mathcomp-experimental-reals	1m 50s
mathcomp-analysis-stdlib	17m 44s
	1h 9m 38s

Provide feedback