Nix CI for bundle 9.1

from MathComp-Analysis' `unstable.v` #24

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-core	45s
mathcomp-finmap	47s
coq	44s
multinomials	2m 55s
	5m 11s