From fc70e168f4679f514e5bf9f923a09217387b636c Mon Sep 17 00:00:00 2001 From: Josh Spicer Date: Tue, 21 Nov 2023 10:31:18 -0800 Subject: [PATCH] Update devcontainer.json Update repo dev container to match https://github.com/devcontainers/cli/commit/e0a6180b66fef3aae337eaf4e9a6dc1428220375 --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 1e6fc4fae..cded956db 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -7,7 +7,7 @@ "build": { "dockerfile": "Dockerfile", "args": { - "VARIANT": "16-bullseye" + "VARIANT": "18-bullseye" } }, "mounts": [