Nix CI for bundle default

Merge branch 'master' of https://github.com/coq-community/hydra-battles #778

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	26s
coqprime	29s
hydra-battles	29s
gaia-hydras	1m 51s
hydra-battles-single	27s
goedel	1m 37s
build-doc	8m 16s
	13m 35s