Do a clean build of lean-mathlib#267

Yasaswinig7 wants to merge 2 commits into

daanx:masterdaanx/mimalloc-bench:masterfrom

Yasaswinig7:cleanbuild-lean-mathlibYasaswinig7/upstream-mibench:cleanbuild-lean-mathlibCopy head branch name to clipboard