Nix CI for bundle coq-8.16

Merge pull request #956 from JasonGross/coq-8.16+timing #749

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	36s
equations	31s
metacoq	30m 38s
	31m 45s