Lean version:
Lean (version 4.34.0, x86_64-w64-windows-gnu, commit 293d5d0c0c3f3dded4688b3ccd6a33939ac5102b, Release)

lake build:
Ô£ö [2/3] Built QPECost (482ms)
Build completed successfully (3 jobs).

Exit code: 0