Nix CI for bundle coq-master

saturate instances on structure declaration #86

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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