Nix CI for bundle coq-8.16

Bump cachix/install-nix-action from V28 to 30 (#1105) #765

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 29s
equations	1m 46s
metacoq	2m 0s
	5m 15s