Nix CI for bundle coq-master

saturate instances on structure declaration #88

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mathcomp-single	26s
coq	32s
coq-elpi	29s
hierarchy-builder	37s
mathcomp-ssreflect	32s
mathcomp-finmap	28s
reglang	33s
mathcomp-fingroup	29s
mathcomp-algebra	37s
coq-bits	36s
fourcolor	40s
mathcomp-solvable	29s
mathcomp-field	39s
mathcomp-character	37s
mathcomp	29s
odd-order	39s
	8m 52s