Nix CI for bundle 9.0

Adapt to https://github.com/math-comp/math-comp/pull/1545 (#154) #129

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-core	45s
coq	43s
mathcomp-finmap	37s
multinomials	40s
	2m 45s