add devcontainer settings

kkrt-labs · Sep 20, 2023 · 7577de3 · 7577de3
1 parent 4b5a7af
commit 7577de3
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,9 @@
+{
+	"name": "Kakarot-ef-tests",
+	"image": "mcr.microsoft.com/devcontainers/base:jammy",
+	"features": {
+		"ghcr.io/lee-orr/rusty-dev-containers/cargo-nextest:0": {}
+	},
+	"postCreateCommand": "apt update && apt install -y clang",
+	"remoteUser": "root"
+}