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

add github actions

pull/7102/head
Nils Dijk 2023-08-01 15:03:49 +00:00
parent a2d7ab5fdc
commit d7f5071cfe
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.devcontainer/devcontainer.json
View File

@ -11,6 +11,7 @@
"extensions": [ "extensions": [
"eamodio.gitlens", "eamodio.gitlens",
"GitHub.copilot", "GitHub.copilot",
"github.vscode-github-actions",
"github.vscode-pull-request-github", "github.vscode-pull-request-github",
"ms-vscode.cpptools-extension-pack", "ms-vscode.cpptools-extension-pack",
"ms-vsliveshare.vsliveshare", "ms-vsliveshare.vsliveshare",