Nix CI for bundle master

Merge pull request #77 from proux01/rocq21611 #131

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-elpi	2m 48s
rocq-core	41s
stdlib	3m 40s
coq	46s
coq-elpi	47s
hierarchy-builder	1m 11s
mathcomp	14m 50s
odd-order	11m 40s
	36m 23s