Back to pull request #68

Adapt to https://github.com/math-comp/math-comp/pull/1343 #36

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	40s
mathcomp-finmap	1m 52s
mathcomp-bigenough	37s
mathcomp	36s
mathcomp-zify	35s
mathcomp-algebra-tactics	1m 33s
mathcomp-real-closed	2m 39s
multinomials	2m 25s
mathcomp-abel	3m 9s
coqeal	1m 41s
mathcomp-apery	0s
	15m 47s