Fix #2395: Check if the scala or dotty libraries are missing#3045

allanrenucci merged 4 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#2395dotty-staging/dotty:fix-#2395Copy head branch name to clipboard