From 1cbdd90b700d1acd3412311ce25cf8765c1a42b8 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Tue, 25 Nov 2025 16:47:31 +0100
Subject: [PATCH] workflows/merge-group: make check & build required

These jobs were recently introduced into the merge queue - but I forgot
to make them actually required. They sometimes fail - but the PR is
still merged. Dumb.

(cherry picked from commit 2dd1eca32b17556fcccec3a396c00e858d5235a0)
---
 .github/workflows/merge-group.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/merge-group.yml b/.github/workflows/merge-group.yml
index 277d9c268825..3bcb0891b145 100644
--- a/.github/workflows/merge-group.yml
+++ b/.github/workflows/merge-group.yml
@@ -111,8 +111,10 @@ jobs:
     if: github.event_name != 'pull_request' && always()
     # Modify this list to add or remove jobs from required status checks.
     needs:
+      - check
       - lint
       - eval
+      - build
     runs-on: ubuntu-slim
     permissions:
       statuses: write