Nix CI for bundle 8.18

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	45s
mathcomp	13m 31s
mathcomp-bigenough	3m 27s
mathcomp-finmap	3m 37s
mathcomp-zify	7m 45s
mathcomp-real-closed	10m 19s
multinomials	6m 5s
mathcomp-algebra-tactics	1m 29s
coqeal	3m 7s
mathcomp-apery	9m 7s
	59m 12s