Metals extension download failed

Viewed 78

I'm trying to install metals for VS Code, it worked fine for me in the past.
However now when trying, I get thee following error message:
Failed to download Metals, make sure you have an internet connection, the Metals version '0.11.6' is correct and the Java Home 'C:\Program Files\Java\jdk-11.0.14' is valid. You can configure the Metals version and Java Home in the settings.See https://scalameta.org/metals/docs/editors/vscode/#http-proxy for instructions if you are using an HTTP proxy.
I've checked, and the provided path is correct for the jdk.
So I have no clue why this error message keeps coming up.

0 Answers
Related