From 2f39be37a0920f9a6f08c55b5639bee32f699304 Mon Sep 17 00:00:00 2001
From: Michael Kaye <1917473+michaelkaye@users.noreply.github.com>
Date: Mon, 9 May 2022 15:46:07 +0100
Subject: [PATCH] Check merged flag from event.pull_request

---
 .github/workflows/post-pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/post-pr.yml b/.github/workflows/post-pr.yml
index e62d3c5f13..553146acc1 100644
--- a/.github/workflows/post-pr.yml
+++ b/.github/workflows/post-pr.yml
@@ -25,7 +25,7 @@ jobs:
   should-i-run:
     name: Check if PR is suitable for analysis
     runs-on: ubuntu-latest
-    if: github.event.merged # Additionally require PR to have been completely merged.
+    if: github.event.pull_request.merged # Additionally require PR to have been completely merged.
     steps:
       - run: echo "Run those tests!" # no-op success