Nix CI for bundle coq-8.16

wrapper mixin step0 #226

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
hierarchy-builder-shim	1m 34s
mathcomp-single	7m 24s
hierarchy-builder	1m 54s
mathcomp-ssreflect	32s
mathcomp-single-planB-src	7m 11s
Verdi	29s
autosubst	33s
QuickChick	25s
category-theory	28s
coquelicot	29s
mathcomp-bigenough	31s
reglang	27s
mathcomp-fingroup	24s
mathcomp-finmap	23s
relation-algebra	26s
mathcomp-algebra	32s
interval	25s
fourcolor	36s
addition-chains	29s
mathcomp-solvable	25s
coq-bits	24s
mathcomp-field	30s
mathcomp-character	25s
mathcomp	31s
odd-order	31s
	28m 37s