Nix CI for bundle rocq-dev

Merge pull request #1172 from jrosain/more-uniform-elimination #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	2m 5s
stdlib	4m 20s
equations	4m 30s
metacoq	39s
	11m 34s