Nix CI for bundle master

Adapt to https://github.com/math-comp/analysis/pull/1860 #132

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-elpi	47s
rocq-core	43s
stdlib	44s
coq-elpi	48s
coq	48s
hierarchy-builder	1m 13s
mathcomp	13m 54s
odd-order	10m 1s
	28m 58s