Merge pull request #61 from gerlero/devcontainer

Add .devcontainer.json
gerlero · Aug 11, 2023 · a8387c4 · a8387c4
2 parents 4c59dd2 + e853050
commit a8387c4
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.devcontainer.json b/.devcontainer.json
@@ -0,0 +1,14 @@
+{
+    "name": "Julia",
+    "image": "mcr.microsoft.com/devcontainers/base",
+    "features": {
+        "ghcr.io/julialang/devcontainer-features/julia": {}
+    },
+    "customizations": {
+        "vscode": {
+            "extensions": [
+                "github.vscode-github-actions"
+            ]
+        }
+    }
+}