Nix CI for bundle coq-8.16

wrapper mixin step0 #251

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	36s
hierarchy-builder	1m 42s
hierarchy-builder-shim	1m 16s
mathcomp-single	7m 46s
mathcomp-single-planB-src	7m 48s
mathcomp-ssreflect	25s
category-theory	28s
QuickChick	26s
coquelicot	29s
autosubst	34s
Verdi	35s
mathcomp-bigenough	32s
mathcomp-fingroup	26s
mathcomp-finmap	31s
reglang	33s
relation-algebra	32s
mathcomp-algebra	38s
interval	46s
coq-bits	25s
addition-chains	25s
mathcomp-solvable	32s
fourcolor	31s
mathcomp-field	27s
mathcomp-character	25s
mathcomp	35s
odd-order	24s
	29m 47s