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	35s
mathcomp-bigenough	35s
mathcomp-finmap	1m 44s
mathcomp-zify	40s
mathcomp	36s
mathcomp-real-closed	2m 43s
mathcomp-algebra-tactics	1m 40s
multinomials	2m 39s
mathcomp-abel	3m 4s
coqeal	1m 41s
mathcomp-apery	0s
	15m 57s