Nix CI for bundle 8.19

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	43s
mathcomp-zify	1m 33s
mathcomp	40s
mathcomp-finmap	1m 27s
mathcomp-bigenough	1m 11s
mathcomp-real-closed	2m 48s
multinomials	2m 5s
mathcomp-algebra-tactics	1m 39s
coqeal	3m 12s
mathcomp-apery	9m 29s
	24m 47s