From e853050b9a657421229f2ba1911f26fb7d0b2402 Mon Sep 17 00:00:00 2001 From: Gabriel Gerlero Date: Thu, 10 Aug 2023 23:29:49 -0300 Subject: [PATCH] Add .devcontainer.json --- .devcontainer.json | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 .devcontainer.json diff --git a/.devcontainer.json b/.devcontainer.json new file mode 100644 index 0000000..cd43145 --- /dev/null +++ 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" + ] + } + } +}