Nix CI for bundle 8.14

Redefine \min and \max in function_scope #2802

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 1s
mathcomp-analysis-single	4m 54s
mathcomp-analysis	4m 6s
	10m 1s