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