Merge branch 'main' into final_post_pr

WeiqunZhang · Aug 30, 2024 · fc537aa · fc537aa
2 parents c9ffd30 + 1660189
commit fc537aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/cleanup-cache-postpr.yml b/.github/workflows/cleanup-cache-postpr.yml
@@ -26,7 +26,7 @@ jobs:
           # For debugging cat ${GITHUB_EVENT_PATH} to see the payload.
 
           pr_head_sha=${{ github.event.workflow_run.head_sha }}
-          pr_number=$(gh pr list --search $pr_head_sha --json number --jq '.[0].number')
+          pr_number=$(gh pr list --state all --search $pr_head_sha --json number --jq '.[0].number')
           echo "Post-PR cache cleanup for PR ${pr_number}"
           BRANCH=refs/pull/${pr_number}/merge