From f823328f7bbebe3754e74bf6503423e8fafddcde Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Francesco=20Borz=C3=AC?= <borzifrancesco@gmail.com>
Date: Sun, 7 Nov 2021 20:33:23 +0100
Subject: [PATCH] fix(CI): labelled builds (#9037)

---
 .github/workflows/core_modules_build.yml | 1 +
 .github/workflows/cpp20.yml              | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/core_modules_build.yml b/.github/workflows/core_modules_build.yml
index cb5e6fcf8..61413c8df 100644
--- a/.github/workflows/core_modules_build.yml
+++ b/.github/workflows/core_modules_build.yml
@@ -4,6 +4,7 @@ on:
     branches:
       - 'master'
   pull_request:
+    types: ['labeled']
 
 concurrency:
   group: ${{ github.head_ref }} || concat(${{ github.ref }}, ${{ github.workflow }})
diff --git a/.github/workflows/cpp20.yml b/.github/workflows/cpp20.yml
index 34b1256d7..9f98f97f9 100644
--- a/.github/workflows/cpp20.yml
+++ b/.github/workflows/cpp20.yml
@@ -4,6 +4,7 @@ on:
     branches:
       - 'master'
   pull_request:
+    types: ['labeled']
 
 concurrency:
   group: ${{ github.head_ref }} || concat(${{ github.ref }}, ${{ github.workflow }})