From 3abd8fee983c56bd609e03c105f89bbe40111d86 Mon Sep 17 00:00:00 2001 From: Olivier Benz Date: Wed, 11 Oct 2023 11:29:29 +0200 Subject: [PATCH] Dev Containers: Update HLS to v2.4.0.0 --- .devcontainer/ghc-9.4/devcontainer.json | 2 +- .devcontainer/ghc-9.6/devcontainer.json | 4 ++-- .devcontainer/ghc-9.8/devcontainer.json | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.devcontainer/ghc-9.4/devcontainer.json b/.devcontainer/ghc-9.4/devcontainer.json index 7d451e9edb75..7924a7c89892 100644 --- 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 index 41876789d89f..9c3319084a59 100644 --- 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 index c570fbeee99f..a0058c973de2 100644 --- 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": ""