From 380f84f0b43c9bd3f141ab2d807cc93f4db3562b Mon Sep 17 00:00:00 2001 From: LPeter1997 Date: Thu, 19 Sep 2024 11:19:53 +0200 Subject: [PATCH] Update publish.yaml --- .github/workflows/publish.yaml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml index 537e4aa37..34fd1e0c1 100644 --- a/.github/workflows/publish.yaml +++ b/.github/workflows/publish.yaml @@ -9,6 +9,9 @@ on: deploy-repl: type: boolean description: Deploy components of the REPL (Compiler, Repl) + deploy-coverage-tool: + type: boolean + description: Deploy the coverage tool (Coverage, Coverage.MSBuild) deploy-langserver: type: boolean description: Deploy the language server (Compiler, LanguageServer, Lsp) @@ -63,6 +66,7 @@ jobs: $sdkProjects = "Compiler", "Compiler.Toolset", "Sdk", "ProjectTemplates" $replProjects = "Compiler", "Repl" + $coverageToolProjects = "Coverage", "Coverage.MSBuild" $langserverProjects = "Compiler", "LanguageServer", "Lsp", "JsonRpc" $debugadapterProjects = "DebugAdapter", "Dap", "JsonRpc" @@ -70,6 +74,7 @@ jobs: if ($${{ github.event.inputs.deploy-sdk }}) { $projects += $sdkProjects; } if ($${{ github.event.inputs.deploy-repl }}) { $projects += $replProjects; } + if ($${{ github.event.inputs.deploy-coverage-tool }}) { $projects += $coverageToolProjects; } if ($${{ github.event.inputs.deploy-langserver }}) { $projects += $langserverProjects; } if ($${{ github.event.inputs.deploy-debugadapter }}) { $projects += $debugadapterProjects; }