Dev Containers: Update HLS to v2.4.0.0

jgm · Oct 11, 2023 · 3abd8fe · 3abd8fe
1 parent 50e05dc
commit 3abd8fe
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.devcontainer/ghc-9.4/devcontainer.json b/.devcontainer/ghc-9.4/devcontainer.json
@@ -5,7 +5,7 @@
     "context": "..",
     "args": {
       "GHC_VERSION": "9.4",
-      "HLS_VERSION": "2.3.0.0",
+      "HLS_VERSION": "2.4.0.0",
       "USE_ZSH_FOR_ROOT": "unset-to-use-ash",
       "SET_LANG": "C.UTF-8",
       "SET_TZ": ""

diff --git a/.devcontainer/ghc-9.6/devcontainer.json b/.devcontainer/ghc-9.6/devcontainer.json
@@ -1,11 +1,11 @@
 {
-  "name": "GHC 9.6 (latest)",
+  "name": "GHC 9.6",
   "build": {
     "dockerfile": "../GHC.Dockerfile",
     "context": "..",
     "args": {
       "GHC_VERSION": "9.6",
-      "HLS_VERSION": "2.3.0.0",
+      "HLS_VERSION": "2.4.0.0",
       "USE_ZSH_FOR_ROOT": "unset-to-use-ash",
       "SET_LANG": "C.UTF-8",
       "SET_TZ": ""

diff --git a/.devcontainer/ghc-9.8/devcontainer.json b/.devcontainer/ghc-9.8/devcontainer.json
@@ -5,7 +5,7 @@
     "context": "..",
     "args": {
       "GHC_VERSION": "9.8",
-      "HLS_VERSION": "2.3.0.0",
+      "HLS_VERSION": "2.4.0.0",
       "USE_ZSH_FOR_ROOT": "unset-to-use-ash",
       "SET_LANG": "C.UTF-8",
       "SET_TZ": ""