From d7f5071cfec8fd7ad6d5bd24209ba27bfaf7b839 Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Tue, 1 Aug 2023 15:03:49 +0000 Subject: [PATCH] add github actions --- .devcontainer/devcontainer.json | 1 + 1 file changed, 1 insertion(+) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index e81f35428..76325bebf 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -11,6 +11,7 @@ "extensions": [ "eamodio.gitlens", "GitHub.copilot", + "github.vscode-github-actions", "github.vscode-pull-request-github", "ms-vscode.cpptools-extension-pack", "ms-vsliveshare.vsliveshare",