Nix CI for bundle coq-8.16

Bump cachix/cachix-action from 13 to 14 (#1037) #741

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	3m 40s
equations	3m 10s
metacoq	3m 32s
	10m 22s