external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

reset image back to main

pull/7355/head
Nils Dijk 2023-11-17 14:01:31 +00:00
parent 69b16e1eca
commit 0c27572cc8
No known key found for this signature in database
GPG Key ID: CA1177EF9434F241
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.devcontainer/devcontainer.json
View File

@ -1,5 +1,5 @@
{
"image": "ghcr.io/citusdata/citus-devcontainer:devcontainer-format-tools",
"image": "ghcr.io/citusdata/citus-devcontainer:main",
"runArgs": [
"--cap-add=SYS_PTRACE",
],