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": ""