Back to pull request #466

Add min/max functions to mathlib #1150

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
compare-compilers	49s
doctest (11)	21s
doctest (13)	18s
shellcheck	4s
editorconfig-checker	3s
test (11, -O0)	6m 38s
test (11, -O1)	6m 26s
test (11, -O2)	6m 39s
test (11, -O3)	6m 40s
test (13, -O0)	7m 4s
test (13, -O1)	7m 21s
test (13, -O2)	7m 50s
test (13, -O3)	7m 41s
	57m 54s