Nix CI for bundle master

Merge pull request #61 from math-comp/cleanup-require-imports #47

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
mathcomp-bigenough	4m 40s
bignums	1m 19s
coq-elpi	1m 37s
mathcomp-zify	7m 56s
mathcomp-finmap	4m 57s
paramcoq	1m 0s
hierarchy-builder	42s
mathcomp	9m 26s
mathcomp-real-closed	8m 14s
multinomials	3m 44s
mathcomp-algebra-tactics	1m 27s
coqeal	0s
mathcomp-abel	3m 2s
mathcomp-apery	0s
	48m 42s