From d5b70d0ad6d0f2812fba1410eaf0bc315d12cc9f Mon Sep 17 00:00:00 2001 From: Olivier Benz Date: Tue, 22 Oct 2024 09:30:02 +0200 Subject: [PATCH 1/2] Dev Containers: Update - Remove 'GHC 9.8.2'; Add 'GHC 9.8.3' --- .devcontainer/{ghc-9.8.2 => ghc-9.8.3}/devcontainer.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) rename .devcontainer/{ghc-9.8.2 => ghc-9.8.3}/devcontainer.json (95%) diff --git a/.devcontainer/ghc-9.8.2/devcontainer.json b/.devcontainer/ghc-9.8.3/devcontainer.json similarity index 95% rename from .devcontainer/ghc-9.8.2/devcontainer.json rename to .devcontainer/ghc-9.8.3/devcontainer.json index 4e899550c9..1705a2a79d 100644 --- a/.devcontainer/ghc-9.8.2/devcontainer.json +++ b/.devcontainer/ghc-9.8.3/devcontainer.json @@ -1,10 +1,10 @@ { - "name": "GHC 9.8.2", + "name": "GHC 9.8.3", "build": { "dockerfile": "../GHC.Dockerfile", "context": "..", "args": { - "GHC_VERSION": "9.8.2", + "GHC_VERSION": "9.8.3", "USE_ZSH_FOR_ROOT": "unset-to-use-ash", "SET_LANG": "C.UTF-8", "SET_TZ": "" From f9700cda29e380f76f2cf39f45606bf014ab4e07 Mon Sep 17 00:00:00 2001 From: Olivier Benz Date: Tue, 22 Oct 2024 09:31:15 +0200 Subject: [PATCH 2/2] Update docker repo in stack-ghc-9.8.3.yaml --- stack-ghc-9.8.3.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stack-ghc-9.8.3.yaml b/stack-ghc-9.8.3.yaml index ddd06ff9ee..6230ab9ac6 100644 --- a/stack-ghc-9.8.3.yaml +++ b/stack-ghc-9.8.3.yaml @@ -12,7 +12,7 @@ extra-deps: docker: enable: false - repo: quay.io/benz0li/ghc-musl:9.8.2 + repo: quay.io/benz0li/ghc-musl:9.8.3 nix: # --nix on the command-line to enable.