lean_compiler: avoid duplicate compile-and-run output#245

latifkasuli wants to merge 1 commit into

leanEthereum:mainleanEthereum/leanVM:mainfrom

latifkasuli:fix/quiet-try-compile-and-runlatifkasuli/leanMultisig:fix/quiet-try-compile-and-runCopy head branch name to clipboard