Nix CI for bundle master

lemma from MathComp-Analysis' `unstable.v` #84

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-elpi	43s
rocq-core	47s
coq	43s
mathcomp-bigenough	46s
coq-elpi	49s
stdlib	47s
mathcomp-finmap	1m 13s
hierarchy-builder	46s
multinomials	1m 58s
mathcomp	47s
	9m 19s