Nix CI for bundle 8.16

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
mathcomp-analysis	10m 17s
mathcomp-analysis-single	10m 56s
	21m 54s