Nix CI for bundle 8.15

Counterexample for `real_nbhs_nbhs` in a `numFieldType` (C) #2092

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
mathcomp-analysis-single	10m 31s
mathcomp-analysis	10m 55s
	22m 4s