Update publish.yaml

Draco-lang · Sep 19, 2024 · 380f84f · 380f84f
1 parent 110169f
commit 380f84f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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,13 +66,15 @@ jobs:
         
         $sdkProjects = "Compiler", "Compiler.Toolset", "Sdk", "ProjectTemplates"
         $replProjects = "Compiler", "Repl"
+        $coverageToolProjects = "Coverage", "Coverage.MSBuild"
         $langserverProjects = "Compiler", "LanguageServer", "Lsp", "JsonRpc"
         $debugadapterProjects = "DebugAdapter", "Dap", "JsonRpc"
         
         $projects = @()
 
         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; }