Nix CI for bundle master

Merge pull request #60 from math-comp/fix-and-update #40

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 19s
bignums	1m 36s
mathcomp-finmap	5m 16s
mathcomp-bigenough	4m 59s
coq-elpi	2m 47s
mathcomp-zify	9m 21s
paramcoq	1m 17s
hierarchy-builder	1m 12s
mathcomp	12m 58s
mathcomp-real-closed	10m 23s
multinomials	6m 0s
mathcomp-algebra-tactics	1m 34s
mathcomp-abel	19m 35s
coqeal	20m 46s
mathcomp-apery	10m 29s
	1h 52m 32s