Nix CI for bundle master

Adapt to https://github.com/math-comp/math-comp/pull/1354 #43

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
stdlib	42s
mathcomp-bigenough	3m 3s
coq-elpi	1m 14s
mathcomp-finmap	3m 7s
hierarchy-builder	42s
mathcomp	9m 22s
multinomials	4m 23s
	23m 14s