From 63bf4058fc306b4602e3b2549323d57081135fd2 Mon Sep 17 00:00:00 2001
From: sudlud <sudlud@users.noreply.github.com>
Date: Wed, 4 Dec 2024 07:53:48 +0100
Subject: [PATCH] fix(CI): make tools build able to run on PRs again (#20831)

---
 .github/workflows/tools_build.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/tools_build.yml b/.github/workflows/tools_build.yml
index 91dd7c4dc..875a99417 100644
--- a/.github/workflows/tools_build.yml
+++ b/.github/workflows/tools_build.yml
@@ -4,6 +4,11 @@ on:
     branches:
       - 'master'
   pull_request:
+    types:
+      - labeled
+      - opened
+      - reopened
+      - synchronize
 
 concurrency:
   group: ${{ github.head_ref }} || concat(${{ github.ref }}, ${{ github.workflow }})