Nix CI for bundle 8.18

Redefine \min and \max in function_scope #369

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	31s
mathcomp-finmap	30s
mathcomp	27s
mathcomp-analysis	31m 42s
mathcomp-analysis-single	31m 18s
	1h 4m 28s