Nix CI for bundle master

completely regular spaces and locally compact implies uniform #3088

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
coq-elpi	39s
mathcomp-finmap	41s
mathcomp-bigenough	46s
hierarchy-builder	41s
mathcomp-analysis-single	10m 16s
mathcomp	43s
mathcomp-analysis	10m 39s
	25m 4s