From 892593fd3da0f48bb7fd94bc9f8472037ee37ec2 Mon Sep 17 00:00:00 2001
From: Georges Basile Stavracas Neto <georges.stavracas@gmail.com>
Date: Wed, 12 Mar 2025 14:42:28 -0300
Subject: [PATCH] ci: Add workaround to CodeQL status checks

CodeQL and merge queues don't play along very well. That's because
CodeQL doesn't report status to the merge queue, which ends up blocking
the queue forever.

Add this small workaround which allows us to turn on the merge queue
again.
---
 .github/workflows/check.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 46b10327..42140c04 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -264,3 +264,22 @@ jobs:
       with:
         name: test logs
         path: test-logs
+
+  # This is a workaround to CodeQL not reporting status to the
+  # merge queue.
+  check_codeql_status:
+    name: Check CodeQL Status
+    needs: clang
+    permissions:
+      contents: read
+      checks: read
+      pull-requests: read
+    runs-on: ubuntu-latest
+    if: ${{ github.event_name == 'pull_request' }}
+    steps:
+    - name: Check CodeQL Status
+      uses: eldrick19/code-scanning-status-checker@v2
+      with:
+        token: ${{ secrets.GITHUB_TOKEN }}
+        pr_number: ${{ github.event.pull_request.number }}
+        repo: ${{ github.repository }}