add devcontainer settings (#131)

kkrt-labs · Sep 22, 2023 · 3e89c10 · 3e89c10
1 parent 4d6f22a
commit 3e89c10
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"
+}