chore: Update Metals default versions

.github/ISSUE_TEMPLATE/bug_report.yml

@@ -51,7 +51,7 @@ body:
     id: version
     attributes:
       label: Version of Metals
-      placeholder: v1.3.5
+      placeholder: v1.4.0
     validations:
       required: true
 

.github/workflows/mtags-auto-release.yml

@@ -8,14 +8,14 @@ on:
       metals_version:
         description: "Metals Version"
         required: true
-        default: "v1.3.5"
+        default: "v1.4.0"
       metals_ref:
         description: "Tag/branch-name from which run release"
         required: true
         # If you update this line after release
         #   just put the tag name (`v*.*.*`) here as in `metals_version.value` above.
         # Don't be confused if this value contains `*.*.*_mtags_release`
-        default: "v1.3.5"
+        default: "v1.4.0"
 jobs:
   test_and_release:
     runs-on: ubuntu-latest

build.sbt

@@ -9,7 +9,7 @@ Global / onChangedBuildSource := ReloadOnSourceChanges
 Global / resolvers += "scala-integration" at
   "https://scala-ci.typesafe.com/artifactory/scala-integration/"
 
-def localSnapshotVersion = "1.3.6-SNAPSHOT"
+def localSnapshotVersion = "1.4.1-SNAPSHOT"
 def isCI = System.getenv("CI") != null
 
 def isScala211(v: Option[(Long, Long)]): Boolean = v.contains((2, 11))