Nix CI for bundle coq-8.16

wrapper mixin step0 #253

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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