From 0d7fe706c321639d228419954770112fa0325d56 Mon Sep 17 00:00:00 2001
From: Christopher Lindsay <christopher.m.lindsay@gmail.com>
Date: Thu, 14 Dec 2023 17:46:11 -0500
Subject: [PATCH] chore: troubleshooting

---
 .github/workflows/dev_pr.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/dev_pr.yml b/.github/workflows/dev_pr.yml
index ffae72774a..31490cfbc9 100644
--- a/.github/workflows/dev_pr.yml
+++ b/.github/workflows/dev_pr.yml
@@ -51,6 +51,9 @@ jobs:
           echo "Event Name: ${{ github.event_name }}"
           echo "Event Action: ${{ github.event.action }}"
           echo "Pull Request Number: ${{ github.event.pull_request.number }}"
+          echo "Pull Request State: ${{ github.event.pull_request.state }}"
+          echo "Pull Request Merged: ${{ github.event.pull_request.merged }}"
+          echo "GitHub Event: ${{ toJson(github.event) }}"
         if: always()
   
       - uses: actions/checkout@v3