test github.event.workflow_run

huggingface · Jun 6, 2023 · 93a5c58 · 93a5c58
1 parent c50e175
commit 93a5c58
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/upload_pr_documentation.yml b/.github/workflows/upload_pr_documentation.yml
@@ -78,6 +78,11 @@ jobs:
           echo "pr_number=$(cat ./build_dir/pr_number)" >> $GITHUB_ENV
           rm -rf ./build_dir/pr_number
 
+          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[0].number}}
+
       - name: Set hub_docs_url
         run: |
           if [ -z "${{ inputs.hub_base_path }}" ]