Nix CI for bundle master

fixes #536 (hierarchy pic in `README`) #2299

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 7s
coq-elpi	1m 9s
mathcomp-bigenough	1m 9s
mathcomp-finmap	1m 14s
hierarchy-builder	1m 3s
mathcomp-analysis	12m 58s
mathcomp-analysis-single	12m 28s
mathcomp	1m 12s
	32m 20s