Nix CI for bundle master

adapt to MC#1256 #51

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
coq-elpi	1m 24s
bignums	1m 22s
mathcomp-bigenough	3m 39s
mathcomp-finmap	3m 46s
mathcomp-zify	6m 23s
paramcoq	1m 4s
hierarchy-builder	37s
mathcomp-real-closed	6m 49s
multinomials	3m 50s
mathcomp	7m 5s
mathcomp-algebra-tactics	3m 33s
mathcomp-abel	4m 3s
coqeal	3m 56s
mathcomp-apery	6m 24s
	54m 30s