Nix CI for bundle master

adapt to MC#1258 #53

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 7s
coq-elpi	1m 37s
bignums	1m 26s
mathcomp-bigenough	3m 49s
mathcomp-finmap	3m 56s
paramcoq	1m 9s
mathcomp-zify	6m 21s
hierarchy-builder	38s
mathcomp	9m 51s
mathcomp-real-closed	6m 57s
multinomials	3m 40s
mathcomp-algebra-tactics	1m 29s
coqeal	1m 27s
mathcomp-abel	3m 2s
mathcomp-apery	0s
	49m 29s