Back to pull request #60

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
mathcomp-zify	33s
mathcomp-finmap	33s
mathcomp-bigenough	33s
mathcomp	39s
mathcomp-algebra-tactics	38s
mathcomp-real-closed	2m 40s
multinomials	38s
coqeal	3m 12s
mathcomp-abel	2m 50s
mathcomp-apery	8m 52s
	21m 49s