Nix CI for bundle master

Update coq-nix-toolbox. #94

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-core	2m 13s
coq	2m 38s
rocq-elpi	2m 34s
coq-elpi	1m 14s
mathcomp-bigenough	1m 36s
stdlib	3m 40s
mathcomp-finmap	1m 39s
hierarchy-builder	-1s
mathcomp	-1s
multinomials	0s
	15m 32s