ci: test both push and pull_request events
Some checks failed
/ report-size-pr (pull_request) Failing after 1s
/ report-download-check-pr (pull_request) Has been skipped
/ check (treefmt) (push) Successful in 3s
/ report-size (push) Successful in 4s
/ report-download-check (push) Successful in 0s

I think we have a bug with pull_request events so...
This commit is contained in:
Jalil David Salamé Messina 2025-07-10 19:39:36 +02:00
parent 838f205020
commit 72e652f679
Signed by: jalil
GPG key ID: F016B9E770737A0B
3 changed files with 50 additions and 5 deletions

View file

@ -73,6 +73,17 @@ runs:
run: |
. "$GITHUB_ACTION_PATH/utils.sh"
# If we were triggered by a PR then this is easy
if [ "$GITHUB_EVENT_NAME" = "pull_request" ]; then
# shellcheck disable=SC2016
# expanded by the runner
pr_number='${{ github.event.number }}'
log "Triggered by a pull request with index: $pr_number"
log "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$pr_number"
echo "pr-number=$pr_number" >> "$GIHUB_OUTPUT"
exit 0
fi
log 'Determine head_ref'
# For push & tag events it'll bet GITHUB_REF_NAME, for pull_request events it'll be GITHUB_HEAD_REF
head_ref=${GITHUB_REF_NAME:-$GITHUB_HEAD_REF}
@ -83,6 +94,8 @@ runs:
-H "Authorization: token $GITHUB_TOKEN" \
-H 'Accept: application/json')
log "Open PRs: $(echo "$prs" | jq --compact output 'map(.number)')"
pr_number=$(echo "$prs" |
jq --arg head_ref "$head_ref" '.[] | select(.head.ref == $head_ref) | .number')