From f0015ba645179f513dc38b7fd83a63269a9a0344 Mon Sep 17 00:00:00 2001
From: Stefan Agner <stefan@agner.ch>
Date: Thu, 3 Aug 2023 15:10:48 +0200
Subject: [PATCH] Support partial dev builds via Workflow dispatch (#2664)

---
 .github/workflows/dev.yml | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml
index 1b601889c..6ab425bc6 100644
--- a/.github/workflows/dev.yml
+++ b/.github/workflows/dev.yml
@@ -4,6 +4,11 @@ name: Development build
 
 on:
   workflow_dispatch:
+    inputs:
+      boards:
+        description: 'List of boards to build (comma separated identifiers)'
+        required: false
+        type: string
   pull_request_target:
     types: [opened,synchronize,labeled]
 
@@ -50,8 +55,16 @@ jobs:
             const boards = require('./.github/workflows/matrix.json')
 
             if (context.eventName == "workflow_dispatch") {
-              console.log("Run full build for all boards")
-              return { "board": boards }
+              const boardFilter = "${{ github.event.inputs.boards }}"
+              if (boardFilter == "") {
+                console.log("Run full build for all boards")
+                return { "board": boards }
+              } else {
+                console.log("Run partial build")
+                const boardSet = new Set(boardFilter.split(','))
+                const buildBoards = boards.filter(b => boardSet.has(b.id))
+                return { "board": buildBoards }
+              }
             }
 
             const labels = context.payload.pull_request.labels.map(l => l.name)