Nix CI for bundle coq-master

saturate instances on structure declaration #85

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
mathcomp-single	38s
coq-elpi	30s
hierarchy-builder	44s
mathcomp-ssreflect	30s
mathcomp-fingroup	30s
reglang	29s
mathcomp-finmap	41s
mathcomp-algebra	28s
coq-bits	31s
fourcolor	36s
mathcomp-solvable	28s
mathcomp-field	32s
mathcomp-character	32s
mathcomp	41s
odd-order	29s
	8m 54s