chore: change Lake configuration error message #6972
Triggered via pull request
February 4, 2025 14:30
leanprover-bot
leanprover-bot
labeled
#6829
Status
Skipped
Total duration
2s
Artifacts
–