Nix CI for bundle default

Corrections in doc #769

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 10s
coq	1m 10s
coq	1m 10s
hydra-battles	2m 25s
hydra-battles	2m 25s
hydra-battles	2m 25s
coqprime	1m 1s
coqprime	1m 1s
coqprime	1m 1s
hydra-battles-single	3m 16s
hydra-battles-single	3m 16s
hydra-battles-single	3m 16s
goedel	1m 48s
goedel	1m 48s
goedel	1m 48s
gaia-hydras	1m 49s
gaia-hydras	1m 49s
gaia-hydras	1m 49s
build-doc	6m 55s
build-doc	6m 55s
build-doc	8m 56s
	57m 13s