⚗️ Test github.event.workflow_run

huggingface · Jun 6, 2023 · d955206 · d955206
1 parent 93a5c58
commit d955206
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/upload_pr_documentation.yml b/.github/workflows/upload_pr_documentation.yml
@@ -81,7 +81,9 @@ jobs:
           echo "commit_sha from github.event.workflow_run"
           echo ${{github.event.workflow_run.head_sha}}
           echo "pr_number from github.event.workflow_run"
+          echo ${{github.event.workflow_run.pull_requests}}
           echo ${{github.event.workflow_run.pull_requests[0].number}}
+          echo ${{github.event.workflow_run.pull_requests[0]}}
 
       - name: Set hub_docs_url
         run: |