fix: lake: use -O0 for debug builds
#14507
Triggered via pull request
November 2, 2025 23:32
leanprover-community-bot
labeled
#11062
Status
Skipped
Total duration
1s
Artifacts
–