Back to pull request #420

Generalized coercions #81

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
mathcomp-single	39s
hierarchy-builder	1m 16s
mathcomp-ssreflect	8m 2s
deriving	7m 48s
mathcomp-fingroup	9m 21s
coquelicot	9m 29s
mathcomp-bigenough	7m 45s
mathcomp-finmap	8m 14s
reglang	8m 20s
QuickChick	8m 25s
mathcomp-algebra	6m 23s
interval	5m 13s
vcfloat	4m 25s
fourcolor	25m 12s
mathcomp-solvable	10m 35s
coq-bits	6m 50s
mathcomp-classical	10m 23s
multinomials	8m 21s
mathcomp-field	10m 41s
mathcomp-character	4m 29s
mathcomp-real-closed	3m 39s
mathcomp-analysis	33m 55s
coqeal	4m 51s
mathcomp	4m 36s
odd-order	28m 6s
	3h 57m 32s