Nix CI for bundle master

adapt to MC#1256 #50

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	42s
coq-elpi	1m 27s
bignums	1m 18s
mathcomp-bigenough	3m 37s
mathcomp-finmap	4m 2s
mathcomp-zify	6m 26s
paramcoq	59s
hierarchy-builder	38s
mathcomp-real-closed	7m 26s
multinomials	3m 33s
mathcomp	5m 32s
mathcomp-algebra-tactics	1m 24s
mathcomp-abel	2m 55s
coqeal	2m 50s
mathcomp-apery	6m 22s
	49m 11s