Nix CI for bundle default

PR for branch legacy #771

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 1s
coq	1m 1s
coq	1m 1s
coqprime	1m 10s
coqprime	1m 10s
coqprime	1m 10s
hydra-battles	58s
hydra-battles	58s
hydra-battles	58s
gaia-hydras	2m 19s
gaia-hydras	2m 19s
gaia-hydras	2m 19s
goedel	1m 56s
goedel	1m 56s
goedel	1m 56s
hydra-battles-single	1m 1s
hydra-battles-single	1m 1s
hydra-battles-single	1m 1s
build-doc	6m 55s
build-doc	6m 54s
build-doc	9m 5s
	48m 9s