From 181be82ed1a1e90f83ac7709ecac7c9c527d2c3d Mon Sep 17 00:00:00 2001 From: Olivier Benz Date: Tue, 28 Apr 2026 12:17:07 +0200 Subject: [PATCH] Dev Containers: Update HLS to v2.14.0.0 --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 1596006990..f02a53e996 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -5,7 +5,7 @@ "args": { "GHC_VERSION": "9.10.3", // "SUBTAG": "int-native", - "HLS_VERSION": "2.13.0.0", + "HLS_VERSION": "2.14.0.0", "USE_ZSH_FOR_ROOT": "unset-to-use-ash", "LANG": "C.UTF-8", "TZ": ""