Nix CI for bundle coq-8.16

Bump cachix/cachix-action from 12 to 13 (#1021) #733

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	2m 8s
equations	2m 6s
metacoq	1h 1m 22s
	1h 5m 36s