Back to pull request #388

prepare release #283

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
mathcomp-single	34s
hierarchy-builder-shim	27s
hierarchy-builder	38s
mathcomp-single-planB-src	34s
mathcomp-ssreflect	30s
QuickChick	40s
autosubst	29s
Verdi	30s
coquelicot	36s
category-theory	29s
mathcomp-bigenough	31s
mathcomp-fingroup	35s
mathcomp-finmap	42s
reglang	39s
relation-algebra	30s
mathcomp-algebra	43s
interval	44s
addition-chains	33s
fourcolor	34s
coq-bits	29s
mathcomp-solvable	39s
mathcomp-field	33s
mathcomp-character	37s
mathcomp	35s
odd-order	34s
	14m 59s