Nix CI for bundle 8.19

duality between `closure` and `interior` #895

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	43s
mathcomp	41s
mathcomp-classical	39s
mathcomp-analysis-single	15m 29s
mathcomp-reals	36s
mathcomp-altreals	36s
mathcomp-analysis	13m 10s
mathcomp-reals-stdlib	42s
mathcomp-analysis-stdlib	43s
	33m 19s