Nix CI for bundle master

duality between `closure` and `interior` #3129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 2s
mathcomp-finmap	3m 34s
coq-elpi	45s
mathcomp-bigenough	3m 14s
hierarchy-builder	40s
mathcomp	7m 37s
mathcomp-analysis-single	11m 56s
mathcomp-classical	2m 25s
mathcomp-reals	36s
mathcomp-reals-stdlib	41s
mathcomp-analysis	9m 21s
mathcomp-altreals	41s
mathcomp-analysis-stdlib	39s
	46m 11s