Nix CI for bundle master

near_in_itv_oy/yo/yy #3120

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 2s
mathcomp-bigenough	6m 41s
mathcomp-finmap	7m 7s
coq-elpi	4m 29s
hierarchy-builder	41s
mathcomp	10m 30s
mathcomp-classical	4m 41s
mathcomp-analysis-single	15m 46s
mathcomp-reals	37s
mathcomp-altreals	35s
mathcomp-reals-stdlib	37s
mathcomp-analysis	10m 0s
mathcomp-analysis-stdlib	35s
	1h 6m 21s