Nix CI for bundle master

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
bignums	34s
coq-elpi	40s
mathcomp-bigenough	36s
mathcomp-finmap	36s
mathcomp-zify	39s
paramcoq	41s
mathcomp-real-closed	2m 31s
multinomials	42s
hierarchy-builder	34s
mathcomp-algebra-tactics	44s
mathcomp	44s
mathcomp-abel	2m 51s
coqeal	3m 16s
mathcomp-apery	9m 39s
	25m 21s