Nix CI for bundle master

Merge pull request #24 from proux01/hierarchy-builder #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	6m 12s
mathcomp-tarjan	17m 43s
coq-elpi	8m 34s
hierarchy-builder	8m 51s
mathcomp	57m 48s
	1h 39m 8s