Nix CI for bundle coq-8.16

wrapper mixin step0 #234

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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