Nix CI for bundle coq-8.16

Merge pull request #958 from JasonGross/coq-8.16+better-monad-errors #750

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 30s
equations	1m 42s
metacoq	1h 8m 40s
	1h 11m 52s