From ec37ab234c46ffa5e162838324d46a843aed0b5d Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Tue, 20 Feb 2024 13:41:37 +0000 Subject: [PATCH] use container build for this branch --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 253922d30a4..ddcde1e9319 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,5 +1,5 @@ { - "image": "ghcr.io/citusdata/citus-devcontainer:main", + "image": "ghcr.io/citusdata/citus-devcontainer:devcontainer-coredumps", "runArgs": [ "--cap-add=SYS_PTRACE", "--ulimit=core=-1",