From 7577de3de3d3237cb2dd347f3543138f0248e3f9 Mon Sep 17 00:00:00 2001
From: khaeljy <contact@khaeljy.fr>
Date: Wed, 20 Sep 2023 20:40:54 +0000
Subject: [PATCH] add devcontainer settings

---
 .devcontainer/devcontainer.json | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 00000000..987d384e
--- /dev/null
+++ 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"
+}
\ No newline at end of file