Merge pull request #1525 from tgodzik/update-metals

chore: Update metals to 1.3.5
scalameta · Aug 2, 2024 · 314dbf8 · 314dbf8
2 parents 4727a03 + 0c92acd
commit 314dbf8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json
@@ -220,7 +220,7 @@
       "properties": {
         "metals.serverVersion": {
           "type": "string",
-          "default": "1.3.4",
+          "default": "1.3.5",
           "markdownDescription": "The version of the Metals server artifact. Requires reloading the window.  \n\n**VS Code extension version is guaranteed to work only with the default version, change if you know what you're doing**"
         },
         "metals.serverProperties": {
@@ -397,7 +397,7 @@
             "2.11.12",
             "3.4.0",
             "3.3.3",
-            "3.3.1"
+            "3.3.2"
           ],
           "markdownDescription": "The Scala compiler version that is used as the default or fallback in case a file doesn't belong to any build target or the specified Scala version isn't supported by Metals.\n\nThis applies to standalone Scala files, worksheets, and Ammonite scripts.\n\n The `automatic` value means that the Scala version for these files will be inferred from the highest supported Scala version in your projects build definition"
         },