ale
ale copied to clipboard
Fix #4220
This PR attemps to fix project root detection for metals as well as change the default executable name to just metals.
(#4220)
Further suggestions welcome.