Nix CI for bundle 8.19

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	42s
mathcomp	35s
mathcomp-bigenough	33s
mathcomp-finmap	39s
mathcomp-zify	44s
mathcomp-real-closed	2m 24s
multinomials	1m 59s
mathcomp-algebra-tactics	1m 23s
coqeal	3m 17s
mathcomp-abel	2m 49s
mathcomp-apery	10m 9s
	25m 14s