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

add postgres 16beta2

pull/7102/head
Nils Dijk 2023-08-01 13:31:19 +00:00
parent 0ca97d0555
commit a90ed81aa0
2 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.devcontainer/.vscode/c_cpp_properties.json vendored
View File

@ -20,6 +20,16 @@
],
"configurationProvider": "ms-vscode.makefile-tools"
},
{
"name": "Citus Development Configuration - Postgres 16beta2",
"includePath": [
"/usr/local/include",
"/home/citus/.pgenv/src/postgresql-16beta2/src/**",
"${workspaceFolder}/**",
"${workspaceFolder}/src/include/",
],
"configurationProvider": "ms-vscode.makefile-tools"
},
],
"version": 4
}

2
.devcontainer/Dockerfile
View File

@ -151,7 +151,7 @@ COPY --from=uncrustify-builder /uncrustify/usr/ /usr/
COPY --from=pg14 /home/citus/.pgenv-staging/ /home/citus/.pgenv/
COPY --from=pg15 /home/citus/.pgenv-staging/ /home/citus/.pgenv/
# COPY --from=pg16 /home/citus/.pgenv-staging/ /home/citus/.pgenv/
COPY --from=pg16 /home/citus/.pgenv-staging/ /home/citus/.pgenv/
COPY --from=pipenv /home/citus/.local/share/virtualenvs/ /home/citus/.local/share/virtualenvs/