Nix CI for bundle coq-master

Remove #[infer] attribute #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
mathcomp-single	41s
coq-elpi	44s
hierarchy-builder-shim	32s
hierarchy-builder	31s
mathcomp-ssreflect	32s
mathcomp-single-planB-src	30s
mathcomp-fingroup	45s
mathcomp-finmap	33s
reglang	33s
mathcomp-algebra	34s
fourcolor	39s
mathcomp-solvable	32s
coq-bits	45s
mathcomp-field	32s
mathcomp-character	45s
mathcomp	45s
odd-order	33s
	11m 7s