Skip to content

Commit

Permalink
Merge pull request #6577 from benz0li/update-dev-containers-08a9b7d
Browse files Browse the repository at this point in the history
Dev Containers: Update
  • Loading branch information
mpilgrem committed May 14, 2024
2 parents 08a9b7d + 4de7972 commit 505e884
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
"dockerfile": "GHC.Dockerfile",
"args": {
"GHC_VERSION": "9.6.5",
"HLS_VERSION": "2.7.0.0",
"HLS_VERSION": "2.8.0.0",
"USE_ZSH_FOR_ROOT": "unset-to-use-ash",
"SET_LANG": "C.UTF-8",
"SET_TZ": ""
Expand Down
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
{
"name": "GHC 9.8.1",
"name": "GHC 9.8.2",
"build": {
"dockerfile": "../GHC.Dockerfile",
"context": "..",
"args": {
"GHC_VERSION": "9.8.1",
"GHC_VERSION": "9.8.2",
"USE_ZSH_FOR_ROOT": "unset-to-use-ash",
"SET_LANG": "C.UTF-8",
"SET_TZ": ""
Expand Down

0 comments on commit 505e884

Please sign in to comment.