Nix CI for bundle coq-8.16

Bump cachix/install-nix-action from V27 to 28 (#1100) #760

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	2m 3s
equations	1m 34s
metacoq	1m 28s
	5m 5s