From 7ddef25013f589c863a5cee262f323a08711ed06 Mon Sep 17 00:00:00 2001
From: Joachim Wiberg <troglobit@gmail.com>
Date: Tue, 3 Sep 2024 15:09:24 +0200
Subject: [PATCH] .github: control defconfig using pull request labels

Issue #597

Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
---
 .github/workflows/build.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9d2e092d..edf2e05e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -2,6 +2,7 @@ name: Bob the Builder
 
 on:
   pull_request:
+    types: [opened, synchronize, reopened, labeled]
   push:
     branches:
       - main
@@ -37,6 +38,9 @@ jobs:
           else
               flavor=""
           fi
+          if ${{ contains(github.event.pull_request.labels.*.name, 'ci:main') }}; then
+              flavor=""
+          fi
           target=${{ matrix.target }}
           echo "dir=infix-$target"        >> $GITHUB_OUTPUT
           echo "tgz=infix-$target.tar.gz" >> $GITHUB_OUTPUT