Nix CI for bundle coq-8.16

Bump cachix/install-nix-action from 24 to 25 #743

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 15s
equations	2m 59s
metacoq	1h 0m 26s
	1h 7m 40s