Nix CI for bundle default

Merge pull request #170 from coq-community/Fix818Warnings #747

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	27s
hydra-battles	29s
coqprime	31s
gaia-hydras	1m 15s
hydra-battles-single	33s
goedel	1m 12s
build-doc	8m 9s
	12m 36s