From c708ab27080edacc0521c83182c8e41137eb61af Mon Sep 17 00:00:00 2001 From: Gregor Zeitlinger Date: Wed, 3 Jul 2024 08:34:40 +0200 Subject: [PATCH] rebuild when labels change, so that we can trigger the right actions (#11725) --- .github/workflows/build-pull-request.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/build-pull-request.yml b/.github/workflows/build-pull-request.yml index 402beccc91..4008f6e2d3 100644 --- a/.github/workflows/build-pull-request.yml +++ b/.github/workflows/build-pull-request.yml @@ -2,6 +2,11 @@ name: Build pull request on: pull_request: + types: + - labeled + - opened + - synchronize + - reopened concurrency: group: ${{ github.workflow }}-${{ github.event.pull_request.number }}