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

maintenance

pull/7102/head
Nils Dijk 2023-08-01 15:10:50 +00:00
parent d7f5071cfe
commit 64c8b2d43f
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.devcontainer/devcontainer.json
View File

@ -10,6 +10,7 @@
"vscode": { "vscode": {
"extensions": [ "extensions": [
"eamodio.gitlens", "eamodio.gitlens",
"GitHub.copilot-chat",
"GitHub.copilot", "GitHub.copilot",
"github.vscode-github-actions", "github.vscode-github-actions",
"github.vscode-pull-request-github", "github.vscode-pull-request-github",

3
.github/workflows/devcontainer.yml vendored
View File

@ -12,9 +12,6 @@ jobs:
docker: docker:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
# -
# name: Checkout
# uses: actions/checkout@v3
- -
name: Docker meta name: Docker meta
id: meta id: meta