rm -rf .lake
LEAN_ABORT_ON_PANIC=1 lake build