Nix CI for bundle coq-8.16

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	2m 7s
equations	2m 1s
metacoq	48m 50s
	52m 58s