Nix CI for bundle coq-8.16

Bump cachix/install-nix-action from V28 to 30 #764

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 32s
equations	1m 37s
metacoq	30m 14s
	33m 23s