Nix CI for bundle coq-8.16

wrapper mixin step0 #254

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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