Nix CI for bundle 8.17

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
mathcomp-bigenough	35s
mathcomp-finmap	35s
mathcomp	39s
mathcomp-zify	35s
mathcomp-real-closed	6m 42s
multinomials	33s
mathcomp-algebra-tactics	33s
mathcomp-abel	7m 9s
coqeal	3m 35s
mathcomp-apery	21m 12s
	42m 42s