Nix CI for bundle master

clearer hypothesis of right-quotient dfa proof (#65) #24

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	6m 41s
reglang	2m 28s
coq-elpi	3m 3s
hierarchy-builder	1m 26s
mathcomp	0s
	13m 38s