Nix CI for bundle master

from MathComp-Analysis' `unstable.v` #98

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-elpi	39s
rocq-core	43s
coq	2m 38s
mathcomp-bigenough	1m 45s
stdlib	3m 48s
coq-elpi	1m 31s
mathcomp-finmap	1m 46s
hierarchy-builder	0s
mathcomp	0s
multinomials	0s
	12m 50s