Back to pull request #420

Generalized coercions #277

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
hierarchy-builder	1m 16s
mathcomp-single	35s
mathcomp-ssreflect	8m 15s
Verdi	8m 46s
coquelicot	9m 34s
deriving	8m 15s
autosubst	8m 6s
mathcomp-bigenough	8m 8s
mathcomp-fingroup	9m 35s
mathcomp-finmap	8m 33s
QuickChick	2m 3s
reglang	2m 5s
interval	5m 13s
mathcomp-algebra	8m 5s
coq-bits	1m 43s
mathcomp-classical	4m 58s
addition-chains	2m 1s
mathcomp-solvable	5m 39s
multinomials	3m 20s
fourcolor	20m 45s
mathcomp-field	10m 29s
mathcomp-character	4m 56s
mathcomp-analysis	34m 15s
mathcomp-real-closed	3m 59s
coqeal	6m 38s
mathcomp	1m 34s
odd-order	29m 5s
	3h 38m 30s