Nix CI for bundle master

Cleanup coq-mathcomp-classical.opam #3119

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	40s
mathcomp-bigenough	42s
mathcomp-finmap	41s
coq-elpi	41s
hierarchy-builder	41s
mathcomp-analysis-single	10m 37s
mathcomp	43s
mathcomp-classical	2m 25s
mathcomp-reals	2m 2s
mathcomp-altreals	1m 40s
mathcomp-analysis	9m 4s
mathcomp-reals-stdlib	1m 18s
mathcomp-analysis-stdlib	9m 23s
	40m 37s