Update devcontainer.json

AAU-Dat · Oct 2, 2024 · 460a878 · 460a878
1 parent d70ba05
commit 460a878
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,7 +1,7 @@
 {
-  "name": "Stormpy",
-  "image": "movesrwth/stormpy:stable",
-  "runArgs": ["--name", "stormpy-devcontainer"],
+  "name": "Storm",
+  "image": "movesrwth/storm:stable",
+  "runArgs": ["--name", "storm-devcontainer"],
   "customizations": {
     "jetbrains": {
       "plugins": [
@@ -18,4 +18,4 @@
       ]
     }
   }
-}
+}