fail directly when lean --print-libdir returns no output#534
Merged
cdisselkoen merged 4 commits intomainfrom Feb 10, 2025
Merged
fail directly when lean --print-libdir returns no output#534cdisselkoen merged 4 commits intomainfrom
cdisselkoen merged 4 commits intomainfrom
Commits
Commits on Feb 10, 2025
- committed
- committed
- andauthored
- committed
