Nix CI for bundle master

Deprecation warning for rolle, mvt, etc and properly testing Abel #38

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	40s
mathcomp-bigenough	37s
coq-elpi	42s
bignums	41s
mathcomp-zify	36s
mathcomp-finmap	38s
paramcoq	36s
mathcomp-real-closed	2m 28s
multinomials	38s
hierarchy-builder	34s
mathcomp-algebra-tactics	36s
mathcomp	41s
coqeal	3m 23s
mathcomp-apery	9m 40s
	22m 30s