bench.sh: run lean-mathlib only when named explicitly - #283

bench.sh: run lean-mathlib only when named explicitly#283

jvoisin merged 1 commit into

daanx:masterdaanx/mimalloc-bench:masterfrom

derSteFfi:disable_mathlibderSteFfi/mimalloc-bench:disable_mathlibCopy head branch name to clipboard