rebuild when labels change, so that we can trigger the right actions (#11725)

2024-07-03 08:34:40 +02:00 · 2024-07-03 08:34:40 +02:00 · c708ab2708
parent 89f4b7e5ac
commit c708ab2708
1 changed files with 5 additions and 0 deletions
--- 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 }}