Back to pull request #382

Fix test #263

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
hierarchy-builder	1m 41s
hierarchy-builder-shim	1m 25s
mathcomp-single	29s
mathcomp-single-planB-src	32m 33s
mathcomp-ssreflect	7m 32s
QuickChick	2m 5s
Verdi	2m 13s
autosubst	1m 35s
category-theory	28m 43s
coquelicot	2m 28s
mathcomp-bigenough	1m 46s
mathcomp-fingroup	2m 50s
mathcomp-finmap	1m 47s
reglang	2m 15s
relation-algebra	2m 51s
interval	3m 18s
mathcomp-algebra	12m 28s
addition-chains	3m 15s
fourcolor	22m 9s
coq-bits	1m 49s
mathcomp-solvable	5m 2s
mathcomp-field	8m 23s
mathcomp-character	5m 55s
mathcomp	2m 19s
odd-order	28m 6s
	3h 5m 35s